Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
c.yml
793 workflow runs
793 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump rupicola from 1f7e333 to 41662e4 Test Generated C #5981: Pull request #2067 opened by dependabot bot
March 17, 2025 09:29 24m 46s dependabot/submodules/rupicola-41662e4
dependabot/submodules/rupicola-41662e4
March 17, 2025 09:29 24m 46s
Bump rupicola from 1f7e333 to 41662e4 Test Generated C #5980: Commit c7a23db pushed by dependabot bot
March 17, 2025 09:29 24m 45s dependabot/submodules/rupicola-41662e4
dependabot/submodules/rupicola-41662e4
March 17, 2025 09:29 24m 45s
Better ordering on print-report (#2062) Test Generated C #5979: Commit 3e49eea pushed by JasonGross
March 14, 2025 23:18 25m 1s master
master
March 14, 2025 23:18 25m 1s
Better ordering on print-report Test Generated C #5978: Pull request #2062 synchronize by JasonGross
March 14, 2025 19:31 25m 45s JasonGross:better-makefile-ordering
JasonGross:better-makefile-ordering
March 14, 2025 19:31 25m 45s
Update coq-alpine.yml Test Generated C #5977: Commit 30e2240 pushed by JasonGross
March 14, 2025 06:34 25m 44s master
master
March 14, 2025 06:34 25m 44s
Add --asm-node-reveal-depth (#2055) Test Generated C #5976: Commit fd88aae pushed by JasonGross
March 13, 2025 22:25 1h 23m 28s master
master
March 13, 2025 22:25 1h 23m 28s
Add proof that map is injective (#2061) Test Generated C #5975: Commit 45d5829 pushed by JasonGross
March 13, 2025 22:16 1h 2m 16s master
master
March 13, 2025 22:16 1h 2m 16s
[CI] [alpine-edge] coq => rocq (#2066) Test Generated C #5974: Commit 8bf5ebe pushed by JasonGross
March 13, 2025 21:21 1h 1m 14s master
master
March 13, 2025 21:21 1h 1m 14s
[CI] [alpine-edge] coq => rocq Test Generated C #5973: Pull request #2066 opened by JasonGross
March 13, 2025 21:20 1h 20m 29s fix-alpine
fix-alpine
March 13, 2025 21:20 1h 20m 29s
[CI] [alpine-edge] coq => rocq Test Generated C #5972: Commit 41a2ae1 pushed by JasonGross
March 13, 2025 21:20 1h 3m 42s fix-alpine
fix-alpine
March 13, 2025 21:20 1h 3m 42s
Add opcode_size for nop so we don't get errors (#2060) Test Generated C #5971: Commit fe2c1d0 pushed by JasonGross
March 13, 2025 21:15 25m 7s master
master
March 13, 2025 21:15 25m 7s
Bump rewriter from 869b054 to e8da092 Test Generated C #5970: Pull request #2063 synchronize by dependabot bot
March 13, 2025 15:02 29m 30s dependabot/submodules/rewriter-e8da092
dependabot/submodules/rewriter-e8da092
March 13, 2025 15:02 29m 30s
Bump rewriter from 869b054 to e8da092 Test Generated C #5969: Commit 85568c7 pushed by dependabot bot
March 13, 2025 15:02 26m 42s dependabot/submodules/rewriter-e8da092
dependabot/submodules/rewriter-e8da092
March 13, 2025 15:02 26m 42s
Bump rupicola from 7858221 to 00778a5 Test Generated C #5968: Pull request #2064 synchronize by dependabot bot
March 13, 2025 15:02 29m 21s dependabot/submodules/rupicola-00778a5
dependabot/submodules/rupicola-00778a5
March 13, 2025 15:02 29m 21s
Bump rupicola from 7858221 to 00778a5 Test Generated C #5967: Commit c5b03d7 pushed by dependabot bot
March 13, 2025 15:02 25m 14s dependabot/submodules/rupicola-00778a5
dependabot/submodules/rupicola-00778a5
March 13, 2025 15:02 25m 14s
Bump rupicola from 7858221 to 00778a5 Test Generated C #5966: Pull request #2064 opened by dependabot bot
March 13, 2025 09:58 5h 4m 15s dependabot/submodules/rupicola-00778a5
dependabot/submodules/rupicola-00778a5
March 13, 2025 09:58 5h 4m 15s
Bump rewriter from 869b054 to e8da092 Test Generated C #5965: Pull request #2063 opened by dependabot bot
March 13, 2025 09:58 5h 1m 14s dependabot/submodules/rewriter-e8da092
dependabot/submodules/rewriter-e8da092
March 13, 2025 09:58 5h 1m 14s
Bump rupicola from 7858221 to 00778a5 Test Generated C #5964: Commit 79a7638 pushed by dependabot bot
March 13, 2025 09:58 5h 0m 19s dependabot/submodules/rupicola-00778a5
dependabot/submodules/rupicola-00778a5
March 13, 2025 09:58 5h 0m 19s
Bump rewriter from 869b054 to e8da092 Test Generated C #5963: Commit 954eb7b pushed by dependabot bot
March 13, 2025 09:58 4h 30m 11s dependabot/submodules/rewriter-e8da092
dependabot/submodules/rewriter-e8da092
March 13, 2025 09:58 4h 30m 11s
Remove Locate & Check Test Generated C #5962: Commit 4513525 pushed by JasonGross
March 13, 2025 05:53 3h 14m 57s master
master
March 13, 2025 05:53 3h 14m 57s
Reveal nodes on demand rather than up-front Test Generated C #5961: Pull request #2059 synchronize by JasonGross
March 13, 2025 05:49 6h 9m 44s JasonGross:reveal-nodes-as-needed
JasonGross:reveal-nodes-as-needed
March 13, 2025 05:49 6h 9m 44s
Add --asm-node-reveal-depth Test Generated C #5960: Pull request #2055 synchronize by JasonGross
March 13, 2025 05:40 2h 45m 54s JasonGross:node-reveal-depth
JasonGross:node-reveal-depth
March 13, 2025 05:40 2h 45m 54s
Better ordering on print-report Test Generated C #5959: Pull request #2062 opened by JasonGross
March 13, 2025 05:39 1h 22m 15s JasonGross:better-makefile-ordering
JasonGross:better-makefile-ordering
March 13, 2025 05:39 1h 22m 15s
Add proof that map is injective Test Generated C #5958: Pull request #2061 opened by JasonGross
March 13, 2025 05:39 2h 10m 29s JasonGross:map-inj
JasonGross:map-inj
March 13, 2025 05:39 2h 10m 29s
Reformat python automatically Test Generated C #5957: Commit 3c25615 pushed by JasonGross
March 13, 2025 03:24 2h 50m 43s master
master
March 13, 2025 03:24 2h 50m 43s