Skip to content

Actions: google/zerocopy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Check native total and partial Aeneas specifications Build & Tests #16303: Pull request #3828 synchronize by joshlf
46m 3s Gmokoduvrhwmesqj7moerqxqv6jjz63e5
Gmokoduvrhwmesqj7moerqxqv6jjz63e5
46m 3s
Check native total and partial Aeneas specifications Anneal Tests #5782: Pull request #3828 synchronize by joshlf
19m 55s Gmokoduvrhwmesqj7moerqxqv6jjz63e5
Gmokoduvrhwmesqj7moerqxqv6jjz63e5
19m 55s
Check native total and partial Aeneas specifications Dependency Review #12761: Pull request #3828 synchronize by joshlf
19s Gmokoduvrhwmesqj7moerqxqv6jjz63e5
Gmokoduvrhwmesqj7moerqxqv6jjz63e5
19s
Strengthen arithmetic specifications and prove arithmetic corollaries Dependency Review #12760: Pull request #3829 synchronize by joshlf
24s Gcqu6kiltuj5regk4e2yhgquvd5vqi7ho
Gcqu6kiltuj5regk4e2yhgquvd5vqi7ho
24s
Prove numerical cast plan selection and metadata conversion Dependency Review #12759: Pull request #3844 synchronize by joshlf
26s Gtab63hdyxorrg5am3uaygvri4dbs3cs5
Gtab63hdyxorrg5am3uaygvri4dbs3cs5
26s
Strengthen arithmetic specifications and prove arithmetic corollaries Build & Tests #16302: Pull request #3829 synchronize by joshlf
34m 22s Gcqu6kiltuj5regk4e2yhgquvd5vqi7ho
Gcqu6kiltuj5regk4e2yhgquvd5vqi7ho
34m 22s
Strengthen arithmetic specifications and prove arithmetic corollaries Anneal Tests #5781: Pull request #3829 synchronize by joshlf
18m 24s Gcqu6kiltuj5regk4e2yhgquvd5vqi7ho
Gcqu6kiltuj5regk4e2yhgquvd5vqi7ho
18m 24s
Prove byte advancement and padding sequence queries Dependency Review #12758: Pull request #3839 synchronize by joshlf
22s Gpvecn2gjh2spv5hy32nqxdlgiqp5jus7
Gpvecn2gjh2spv5hy32nqxdlgiqp5jus7
22s
Prove byte advancement and padding sequence queries Build & Tests #16301: Pull request #3839 synchronize by joshlf
43m 56s Gpvecn2gjh2spv5hy32nqxdlgiqp5jus7
Gpvecn2gjh2spv5hy32nqxdlgiqp5jus7
43m 56s
Prove numerical cast plan selection and metadata conversion Anneal Tests #5780: Pull request #3844 synchronize by joshlf
9m 52s Gtab63hdyxorrg5am3uaygvri4dbs3cs5
Gtab63hdyxorrg5am3uaygvri4dbs3cs5
9m 52s
Prove numerical cast plan selection and metadata conversion Build & Tests #16300: Pull request #3844 synchronize by joshlf
46m 40s Gtab63hdyxorrg5am3uaygvri4dbs3cs5
Gtab63hdyxorrg5am3uaygvri4dbs3cs5
46m 40s
Prove byte advancement and padding sequence queries Anneal Tests #5779: Pull request #3839 synchronize by joshlf
9m 52s Gpvecn2gjh2spv5hy32nqxdlgiqp5jus7
Gpvecn2gjh2spv5hy32nqxdlgiqp5jus7
9m 52s
Prove split lengths and non-overlapping numerical regions Build & Tests #16299: Pull request #3840 synchronize by joshlf
35m 7s Gytt7syk4w4f52xlmszabgwlaiofsu7p6
Gytt7syk4w4f52xlmszabgwlaiofsu7p6
35m 7s
Reuse Aeneas specifications for views and indexed loops Dependency Review #12757: Pull request #3830 synchronize by joshlf
26s Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fj
Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fj
26s
Prove unsigned byte-order reads, writes and updates Anneal Tests #5778: Pull request #3827 synchronize by joshlf
19m 53s Gessib3piua3c4koztpng6i7m52bxi73s
Gessib3piua3c4koztpng6i7m52bxi73s
19m 53s
Prove unsigned byte-order reads, writes and updates Dependency Review #12756: Pull request #3827 synchronize by joshlf
23s Gessib3piua3c4koztpng6i7m52bxi73s
Gessib3piua3c4koztpng6i7m52bxi73s
23s
Prove split lengths and non-overlapping numerical regions Anneal Tests #5777: Pull request #3840 synchronize by joshlf
20m 7s Gytt7syk4w4f52xlmszabgwlaiofsu7p6
Gytt7syk4w4f52xlmszabgwlaiofsu7p6
20m 7s
Prove unsigned byte-order reads, writes and updates Build & Tests #16298: Pull request #3827 synchronize by joshlf
44m 13s Gessib3piua3c4koztpng6i7m52bxi73s
Gessib3piua3c4koztpng6i7m52bxi73s
44m 13s
Reuse Aeneas specifications for views and indexed loops Anneal Tests #5776: Pull request #3830 synchronize by joshlf
10m 7s Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fj
Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fj
10m 7s
Verify doc-owned specifications over recursive mathematical models Build & Tests #16297: Pull request #3826 synchronize by joshlf
33m 15s G5ql2xwdsnzdupc5d4auj6l5vgi5okgrc
G5ql2xwdsnzdupc5d4auj6l5vgi5okgrc
33m 15s
Prove split lengths and non-overlapping numerical regions Dependency Review #12755: Pull request #3840 synchronize by joshlf
25s Gytt7syk4w4f52xlmszabgwlaiofsu7p6
Gytt7syk4w4f52xlmszabgwlaiofsu7p6
25s
Reuse Aeneas specifications for views and indexed loops Build & Tests #16296: Pull request #3830 synchronize by joshlf
43m 10s Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fj
Gfbj3enqrcenbe76pfvmdhbt2b3h3j5fj
43m 10s
Inspect Rust execution before Aeneas lowering Anneal Tests #5775: Pull request #3848 synchronize by joshlf
20m 44s Glga77guruqohhu34sv7kfiu3slnotqyv
Glga77guruqohhu34sv7kfiu3slnotqyv
20m 44s
Inspect Rust execution before Aeneas lowering Dependency Review #12754: Pull request #3848 synchronize by joshlf
25s Glga77guruqohhu34sv7kfiu3slnotqyv
Glga77guruqohhu34sv7kfiu3slnotqyv
25s
Inspect Rust execution before Aeneas lowering Build & Tests #16295: Pull request #3848 synchronize by joshlf
34m 57s Glga77guruqohhu34sv7kfiu3slnotqyv
Glga77guruqohhu34sv7kfiu3slnotqyv
34m 57s