Skip to content

Actions: google/zerocopy

Actions

Build & Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ workflow runs

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
Support structs with same type Build & Tests #10750: Pull request #3324 synchronize by z-tech
3m 42s z-tech:z-tech/support-structs-with-same-type
z-tech:z-tech/support-structs-with-same-type
3m 42s
Support structs with same type Build & Tests #10749: Pull request #3324 synchronize by z-tech
2m 50s z-tech:z-tech/support-structs-with-same-type
z-tech:z-tech/support-structs-with-same-type
2m 50s
Support structs with same type Build & Tests #10748: Pull request #3324 synchronize by z-tech
3m 4s z-tech:z-tech/support-structs-with-same-type
z-tech:z-tech/support-structs-with-same-type
3m 4s
Support structs with same type Build & Tests #10747: Pull request #3324 synchronize by z-tech
3m 13s z-tech:z-tech/support-structs-with-same-type
z-tech:z-tech/support-structs-with-same-type
3m 13s
Support structs with same type Build & Tests #10746: Pull request #3324 synchronize by z-tech
3m 48s z-tech:z-tech/support-structs-with-same-type
z-tech:z-tech/support-structs-with-same-type
3m 48s
Support structs with same type Build & Tests #10745: Pull request #3324 opened by z-tech
3m 15s z-tech:z-tech/support-structs-with-same-type
z-tech:z-tech/support-structs-with-same-type
3m 15s
[anneal] Isolate docker images, not just volumes (#3322) Build & Tests #10744: Commit a51752b pushed by github-merge-queue Bot
8m 39s main
main
8m 39s
Build & Tests Build & Tests #10743: Merge group checks requested
9m 4s
9m 4s
[CI] Bump the all-actions group across 1 directory with 8 updates Build & Tests #10742: Pull request #3301 synchronize by dependabot Bot
5m 13s dependabot/github_actions/all-actions-0d1b8b6947
dependabot/github_actions/all-actions-0d1b8b6947
5m 13s
[ci][anneal] Track total CI duration in benchmark dashboard (#3323) Build & Tests #10741: Commit a27cb57 pushed by github-merge-queue Bot
8m 36s main
main
8m 36s
[anneal] Isolate docker images, not just volumes Build & Tests #10740: Pull request #3322 synchronize by joshlf
5m 16s codex/generalize-worktree-id-for-docker.sh
codex/generalize-worktree-id-for-docker.sh
5m 16s
Build & Tests Build & Tests #10739: Merge group checks requested
8m 49s
8m 49s
Add Total CI Duration benchmark to anneal workflow Build & Tests #10738: Pull request #3323 opened by joshlf
5m 26s codex/reconfigure-ci-duration-graphs-to-stack
codex/reconfigure-ci-duration-graphs-to-stack
5m 26s
[anneal] Isolate docker images, not just volumes Build & Tests #10737: Pull request #3322 synchronize by joshlf
5m 17s codex/generalize-worktree-id-for-docker.sh
codex/generalize-worktree-id-for-docker.sh
5m 17s
[anneal] Isolate docker images, not just volumes Build & Tests #10736: Pull request #3322 opened by joshlf
5m 23s codex/generalize-worktree-id-for-docker.sh
codex/generalize-worktree-id-for-docker.sh
5m 23s
[anneal] Translate and verify integration tests for new syntax Build & Tests #10735: Pull request #3321 opened by joshlf
5m 21s G4ka5fwcrxku4rfg7rjpfswfmnqxqulql
G4ka5fwcrxku4rfg7rjpfswfmnqxqulql
5m 21s
[anneal] Translate and verify integration tests for new syntax Build & Tests #10734: Pull request #3320 opened by joshlf
8m 46s Gpnfmmq3wttb76cog7oyp4zlcidfcwrgj
Gpnfmmq3wttb76cog7oyp4zlcidfcwrgj
8m 46s
Add dummy theorem to lib.rs Build & Tests #10733: Pull request #3319 opened by joshlf
5m 56s Guxil4zem4wu65n7ovo5lzcl72c4u7bmc
Guxil4zem4wu65n7ovo5lzcl72c4u7bmc
5m 56s
Add dummy theorems to all remaining empty spec blocks Build & Tests #10732: Pull request #3318 opened by joshlf
5m 49s Gclxv3wmgsi7kr7oyevehdtxvcv5vjvg5
Gclxv3wmgsi7kr7oyevehdtxvcv5vjvg5
5m 49s
Loosen sorry detection in aeneas.rs Build & Tests #10731: Pull request #3317 opened by joshlf
7m 46s Gwzn672lmlfhl2png2epoznfxivhkwz46
Gwzn672lmlfhl2png2epoznfxivhkwz46
7m 46s
Translate memory_and_borrows.rs Build & Tests #10730: Pull request #3316 opened by joshlf
8m 43s Gbirsxqjhd2tavcmz2q7n7bg543axp5z3
Gbirsxqjhd2tavcmz2q7n7bg543axp5z3
8m 43s
Add dummy theorems to spec_syntax.rs Build & Tests #10729: Pull request #3315 opened by joshlf
5m 56s Gkh4fb64s2lgkazky4fokbaa47ot5ffov
Gkh4fb64s2lgkazky4fokbaa47ot5ffov
5m 56s
Use sorry for invert in types_and_data.rs Build & Tests #10728: Pull request #3314 opened by joshlf
8m 19s Grspew5wug7xgrqcdsei26t4iucxfr7ex
Grspew5wug7xgrqcdsei26t4iucxfr7ex
8m 19s
Remove isValid from S in logic_and_control.rs Build & Tests #10727: Pull request #3313 opened by joshlf
8m 23s Gjdf3tcx67vhjrarayh56347f6aycst4v
Gjdf3tcx67vhjrarayh56347f6aycst4v
8m 23s
Remove all isValid annotations in logic_and_control.rs Build & Tests #10726: Pull request #3311 opened by joshlf
5m 51s Gdzlnnfvjejtrr2eilakossjeqb7hi4su
Gdzlnnfvjejtrr2eilakossjeqb7hi4su
5m 51s