Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated Zig

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zig.yml
1,293 workflow runs
1,293 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump etc/coq-scripts from efae533 to 8ce1d5d Test Generated Zig #2956: Commit 13bd1f2 pushed by dependabot bot
July 6, 2023 03:37 50s dependabot/submodules/etc/coq-scripts-8ce1d5d
dependabot/submodules/etc/coq-scripts-8ce1d5d
July 6, 2023 03:37 50s
Update for Zig 0.11.0 (#1611) Test Generated Zig #2955: Commit f954cc5 pushed by JasonGross
July 6, 2023 03:36 53s master
master
July 6, 2023 03:36 53s
added rewrite rules that don't work Test Generated Zig #2954: Commit aed9233 pushed by OwenConoly
July 3, 2023 06:02 36s adk3
adk3
July 3, 2023 06:02 36s
probably fixed the things Test Generated Zig #2953: Commit c072986 pushed by OwenConoly
July 2, 2023 22:58 27s adk3
adk3
July 2, 2023 22:58 27s
revert more Test Generated Zig #2952: Commit 4c85f89 pushed by OwenConoly
July 2, 2023 20:58 27s adk3
adk3
July 2, 2023 20:58 27s
reverted some things Test Generated Zig #2951: Commit 73e58a8 pushed by OwenConoly
July 2, 2023 20:54 50s adk3
adk3
July 2, 2023 20:54 50s
a bunch of stuff Test Generated Zig #2950: Commit 9fb7c29 pushed by OwenConoly
July 1, 2023 06:34 23s adk3
adk3
July 1, 2023 06:34 23s
Test Generated Zig Test Generated Zig #2949: Scheduled
July 1, 2023 01:41 44s master
master
July 1, 2023 01:41 44s
proved remaining admitted things Test Generated Zig #2948: Commit 202c688 pushed by OwenConoly
June 29, 2023 22:45 34s adk3
adk3
June 29, 2023 22:45 34s
finished! modulo a couple lemmas. and everything's a mess. Test Generated Zig #2947: Commit 2aab527 pushed by OwenConoly
June 28, 2023 06:21 26s adk3
adk3
June 28, 2023 06:21 26s
slight prettification Test Generated Zig #2946: Commit 209319a pushed by OwenConoly
June 28, 2023 02:24 32s adk3
adk3
June 28, 2023 02:24 32s
i dunno Test Generated Zig #2945: Commit 04ab554 pushed by OwenConoly
June 28, 2023 00:57 37s adk3
adk3
June 28, 2023 00:57 37s
Bump etc/coq-scripts from efae533 to 8ce1d5d Test Generated Zig #2944: Pull request #1613 opened by dependabot bot
June 26, 2023 16:59 1m 47s dependabot/submodules/etc/coq-scripts-8ce1d5d
dependabot/submodules/etc/coq-scripts-8ce1d5d
June 26, 2023 16:59 1m 47s
Bump etc/coq-scripts from efae533 to 8ce1d5d Test Generated Zig #2943: Commit ae3a1c7 pushed by dependabot bot
June 26, 2023 16:59 1m 34s dependabot/submodules/etc/coq-scripts-8ce1d5d
dependabot/submodules/etc/coq-scripts-8ce1d5d
June 26, 2023 16:59 1m 34s
Bump rewriter from 3065375 to c79bbc9 Test Generated Zig #2942: Pull request #1612 opened by dependabot bot
June 26, 2023 16:59 52s dependabot/submodules/rewriter-c79bbc9
dependabot/submodules/rewriter-c79bbc9
June 26, 2023 16:59 52s
Bump rewriter from 3065375 to c79bbc9 Test Generated Zig #2941: Commit bc4435b pushed by dependabot bot
June 26, 2023 16:59 45s dependabot/submodules/rewriter-c79bbc9
dependabot/submodules/rewriter-c79bbc9
June 26, 2023 16:59 45s
Update for Zig 0.11.0 Test Generated Zig #2940: Pull request #1611 opened by jedisct1
June 25, 2023 19:04 55s jedisct1:zig-0.11.0
jedisct1:zig-0.11.0
June 25, 2023 19:04 55s
some stuff Test Generated Zig #2939: Commit 8b8632f pushed by OwenConoly
June 23, 2023 03:03 50s adk3
adk3
June 23, 2023 03:03 50s
ProTip! You can narrow down the results and go further in time using created:<2023-06-23 or the other filters available.