Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.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 Rust #4374: Commit 13bd1f2 pushed by dependabot bot
July 6, 2023 03:37 6m 19s dependabot/submodules/etc/coq-scripts-8ce1d5d
dependabot/submodules/etc/coq-scripts-8ce1d5d
July 6, 2023 03:37 6m 19s
Update for Zig 0.11.0 (#1611) Test Generated Rust #4373: Commit f954cc5 pushed by JasonGross
July 6, 2023 03:36 4m 52s master
master
July 6, 2023 03:36 4m 52s
added rewrite rules that don't work Test Generated Rust #4372: Commit aed9233 pushed by OwenConoly
July 3, 2023 06:02 21s adk3
adk3
July 3, 2023 06:02 21s
probably fixed the things Test Generated Rust #4371: Commit c072986 pushed by OwenConoly
July 2, 2023 22:58 5m 51s adk3
adk3
July 2, 2023 22:58 5m 51s
revert more Test Generated Rust #4370: Commit 4c85f89 pushed by OwenConoly
July 2, 2023 20:58 4m 39s adk3
adk3
July 2, 2023 20:58 4m 39s
reverted some things Test Generated Rust #4369: Commit 73e58a8 pushed by OwenConoly
July 2, 2023 20:54 5m 4s adk3
adk3
July 2, 2023 20:54 5m 4s
a bunch of stuff Test Generated Rust #4368: Commit 9fb7c29 pushed by OwenConoly
July 1, 2023 06:34 4m 48s adk3
adk3
July 1, 2023 06:34 4m 48s
Test Generated Rust Test Generated Rust #4367: Scheduled
July 1, 2023 01:49 4m 56s master
master
July 1, 2023 01:49 4m 56s
proved remaining admitted things Test Generated Rust #4366: Commit 202c688 pushed by OwenConoly
June 29, 2023 22:45 3m 44s adk3
adk3
June 29, 2023 22:45 3m 44s
finished! modulo a couple lemmas. and everything's a mess. Test Generated Rust #4365: Commit 2aab527 pushed by OwenConoly
June 28, 2023 06:21 3m 54s adk3
adk3
June 28, 2023 06:21 3m 54s
slight prettification Test Generated Rust #4364: Commit 209319a pushed by OwenConoly
June 28, 2023 02:24 3m 45s adk3
adk3
June 28, 2023 02:24 3m 45s
i dunno Test Generated Rust #4363: Commit 04ab554 pushed by OwenConoly
June 28, 2023 00:57 3m 37s adk3
adk3
June 28, 2023 00:57 3m 37s
Bump etc/coq-scripts from efae533 to 8ce1d5d Test Generated Rust #4362: Pull request #1613 opened by dependabot bot
June 26, 2023 16:59 4m 6s dependabot/submodules/etc/coq-scripts-8ce1d5d
dependabot/submodules/etc/coq-scripts-8ce1d5d
June 26, 2023 16:59 4m 6s
Bump etc/coq-scripts from efae533 to 8ce1d5d Test Generated Rust #4361: Commit ae3a1c7 pushed by dependabot bot
June 26, 2023 16:59 5m 32s dependabot/submodules/etc/coq-scripts-8ce1d5d
dependabot/submodules/etc/coq-scripts-8ce1d5d
June 26, 2023 16:59 5m 32s
Bump rewriter from 3065375 to c79bbc9 Test Generated Rust #4360: Pull request #1612 opened by dependabot bot
June 26, 2023 16:59 4m 36s dependabot/submodules/rewriter-c79bbc9
dependabot/submodules/rewriter-c79bbc9
June 26, 2023 16:59 4m 36s
Bump rewriter from 3065375 to c79bbc9 Test Generated Rust #4359: Commit bc4435b pushed by dependabot bot
June 26, 2023 16:59 5m 51s dependabot/submodules/rewriter-c79bbc9
dependabot/submodules/rewriter-c79bbc9
June 26, 2023 16:59 5m 51s
Update for Zig 0.11.0 Test Generated Rust #4358: Pull request #1611 opened by jedisct1
June 25, 2023 19:04 3m 41s jedisct1:zig-0.11.0
jedisct1:zig-0.11.0
June 25, 2023 19:04 3m 41s
some stuff Test Generated Rust #4357: Commit 8b8632f pushed by OwenConoly
June 23, 2023 03:03 4m 43s adk3
adk3
June 23, 2023 03:03 4m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-06-23 or the other filters available.