Skip to content

Actions: google/zerocopy

Actions

Anneal Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
anneal-release.yml
119 workflow runs
119 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
[anneal] Translate and verify integration tests for new syntax Anneal Release #94: Pull request #3321 opened by joshlf
42m 20s G4ka5fwcrxku4rfg7rjpfswfmnqxqulql
G4ka5fwcrxku4rfg7rjpfswfmnqxqulql
42m 20s
[anneal] Translate and verify integration tests for new syntax Anneal Release #93: Pull request #3320 opened by joshlf
54m 58s Gpnfmmq3wttb76cog7oyp4zlcidfcwrgj
Gpnfmmq3wttb76cog7oyp4zlcidfcwrgj
54m 58s
Add dummy theorem to lib.rs Anneal Release #92: Pull request #3319 opened by joshlf
56m 10s Guxil4zem4wu65n7ovo5lzcl72c4u7bmc
Guxil4zem4wu65n7ovo5lzcl72c4u7bmc
56m 10s
Add dummy theorems to all remaining empty spec blocks Anneal Release #91: Pull request #3318 opened by joshlf
44m 38s Gclxv3wmgsi7kr7oyevehdtxvcv5vjvg5
Gclxv3wmgsi7kr7oyevehdtxvcv5vjvg5
44m 38s
Loosen sorry detection in aeneas.rs Anneal Release #90: Pull request #3317 opened by joshlf
51m 2s Gwzn672lmlfhl2png2epoznfxivhkwz46
Gwzn672lmlfhl2png2epoznfxivhkwz46
51m 2s
Translate memory_and_borrows.rs Anneal Release #89: Pull request #3316 opened by joshlf
51m 29s Gbirsxqjhd2tavcmz2q7n7bg543axp5z3
Gbirsxqjhd2tavcmz2q7n7bg543axp5z3
51m 29s
Add dummy theorems to spec_syntax.rs Anneal Release #88: Pull request #3315 opened by joshlf
50m 40s Gkh4fb64s2lgkazky4fokbaa47ot5ffov
Gkh4fb64s2lgkazky4fokbaa47ot5ffov
50m 40s
Use sorry for invert in types_and_data.rs Anneal Release #87: Pull request #3314 opened by joshlf
43m 18s Grspew5wug7xgrqcdsei26t4iucxfr7ex
Grspew5wug7xgrqcdsei26t4iucxfr7ex
43m 18s
Remove isValid from S in logic_and_control.rs Anneal Release #86: Pull request #3313 opened by joshlf
43m 4s Gjdf3tcx67vhjrarayh56347f6aycst4v
Gjdf3tcx67vhjrarayh56347f6aycst4v
43m 4s
Remove all isValid annotations in logic_and_control.rs Anneal Release #85: Pull request #3311 opened by joshlf
56m 38s Gdzlnnfvjejtrr2eilakossjeqb7hi4su
Gdzlnnfvjejtrr2eilakossjeqb7hi4su
56m 38s
Revert empty spec blocks in success_allow_sorry_is_valid Anneal Release #84: Pull request #3312 opened by joshlf
1h 1m 55s Gemqdhj5y6lwnimufkxqzgh7booaoitu7
Gemqdhj5y6lwnimufkxqzgh7booaoitu7
1h 1m 55s
Add stderr_file to success_allow_sorry_is_valid anneal.toml Anneal Release #83: Pull request #3310 opened by joshlf
1h 3m 32s Gkvaf6zwvso52jwbaujhnzgr7xlfm7uvy
Gkvaf6zwvso52jwbaujhnzgr7xlfm7uvy
1h 3m 32s
Translate remaining annotations in logic_and_control.rs Anneal Release #82: Pull request #3309 opened by joshlf
1h 8m 11s Gul26yz32ibbawcoucmtkqabefkipqypg
Gul26yz32ibbawcoucmtkqabefkipqypg
1h 8m 11s
Save more work Anneal Release #81: Pull request #3308 opened by joshlf
47m 0s G3jaxtxnpltljjyekmsneusoijhfal2bb
G3jaxtxnpltljjyekmsneusoijhfal2bb
47m 0s
Save work: Translated integration tests to new syntax Anneal Release #80: Pull request #3307 opened by joshlf
56m 19s G36kbkjbqddlrcpdjvn24nwufrksz2fcf
G36kbkjbqddlrcpdjvn24nwufrksz2fcf
56m 19s
[anneal] In setup, recursively cache Lean sources Anneal Release #79: Pull request #3306 synchronize by joshlf
1h 3m 0s Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
1h 3m 0s
[anneal] In setup, recursively cache Lean sources Anneal Release #78: Pull request #3306 synchronize by joshlf
26m 0s Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
26m 0s
[anneal] In setup, recursively cache Lean sources Anneal Release #77: Pull request #3306 synchronize by joshlf
48m 47s Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
48m 47s
[anneal] In setup, recursively cache Lean sources Anneal Release #76: Pull request #3306 synchronize by joshlf
44m 29s Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
44m 29s
[anneal] In setup, recursively cache Lean sources Anneal Release #75: Pull request #3306 synchronize by joshlf
1h 0m 17s Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
1h 0m 17s
[anneal] In setup, recursively cache Lean sources Anneal Release #74: Pull request #3306 synchronize by joshlf
12m 27s Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
12m 27s
[anneal] In setup, recursively cache Lean sources Anneal Release #73: Pull request #3306 opened by joshlf
1h 3m 15s Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
Ghmd3zurxjuy6q66eay4blnbt7sfg7wlz
1h 3m 15s
[anneal] Cleanup test infrastructure and implement atomic setup (#3305) Anneal Release #72: Commit 11515dc pushed by github-merge-queue Bot
51m 55s main
main
51m 55s
[anneal] Cleanup test infrastructure and implement atomic setup Anneal Release #71: Pull request #3305 synchronize by joshlf
1h 46m 9s G4c76oil24wlyjqav3c5s5woakn5rcxpm
G4c76oil24wlyjqav3c5s5woakn5rcxpm
1h 46m 9s
[anneal] Cleanup test infrastructure and implement atomic setup Anneal Release #70: Pull request #3305 synchronize by joshlf
1h 8m 31s G4c76oil24wlyjqav3c5s5woakn5rcxpm
G4c76oil24wlyjqav3c5s5woakn5rcxpm
1h 8m 31s