Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
c.yml
875 workflow runs
875 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

switch GarageDoor to LeakageSemantics Test Generated C #5791: Pull request #2009 synchronize by JasonGross
February 8, 2025 01:06 26m 17s OwenConoly:master
OwenConoly:master
February 8, 2025 01:06 26m 17s
switch GarageDoor to LeakageSemantics Test Generated C #5790: Pull request #2009 synchronize by JasonGross
February 8, 2025 00:29 24m 32s OwenConoly:master
OwenConoly:master
February 8, 2025 00:29 24m 32s
Refined/Signed Barrett Reduction (#2013) Test Generated C #5789: Commit 8cbd4d3 pushed by andres-erbsen
February 7, 2025 19:40 24m 28s master
master
February 7, 2025 19:40 24m 28s
Refined/Signed Barrett Reduction Test Generated C #5788: Pull request #2013 synchronize by atrieu
February 7, 2025 14:57 24m 42s atrieu:refined_barrett
atrieu:refined_barrett
February 7, 2025 14:57 24m 42s
switch GarageDoor to LeakageSemantics Test Generated C #5787: Pull request #2009 synchronize by JasonGross
February 6, 2025 20:05 1h 3m 27s OwenConoly:master
OwenConoly:master
February 6, 2025 20:05 1h 3m 27s
Update coq-windows.yml Test Generated C #5786: Commit 66b7bf5 pushed by JasonGross
February 6, 2025 20:04 24m 48s master
master
February 6, 2025 20:04 24m 48s
Refined/Signed Barrett Reduction Test Generated C #5785: Pull request #2013 opened by atrieu
February 6, 2025 10:26 24m 37s atrieu:refined_barrett
atrieu:refined_barrett
February 6, 2025 10:26 24m 37s
switch GarageDoor to LeakageSemantics Test Generated C #5784: Pull request #2009 synchronize by JasonGross
February 5, 2025 23:38 1h 54m 38s OwenConoly:master
OwenConoly:master
February 5, 2025 23:38 1h 54m 38s
Bump rupicola from 24f4a75 to 041455f Test Generated C #5783: Pull request #2011 synchronize by JasonGross
February 5, 2025 23:38 56m 47s dependabot/submodules/rupicola-041455f
dependabot/submodules/rupicola-041455f
February 5, 2025 23:38 56m 47s
Bump rupicola from 24f4a75 to 041455f Test Generated C #5782: Commit 4c55632 pushed by JasonGross
February 5, 2025 23:37 30m 58s dependabot/submodules/rupicola-041455f
dependabot/submodules/rupicola-041455f
February 5, 2025 23:37 30m 58s
Upload *.timing files on failure (#2012) Test Generated C #5781: Commit 6f9b5df pushed by JasonGross
February 5, 2025 23:37 28m 22s master
master
February 5, 2025 23:37 28m 22s
Upload *.timing files on failure Test Generated C #5780: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:23 25m 16s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:23 25m 16s
Upload *.timing files on failure Test Generated C #5779: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:15 9m 9s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:15 9m 9s
Upload *.timing files on failure Test Generated C #5778: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:11 4m 41s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:11 4m 41s
Upload *.timing files on failure Test Generated C #5777: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:08 3m 4s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:08 3m 4s
Upload *.timing files on failure Test Generated C #5776: Pull request #2012 synchronize by JasonGross
February 5, 2025 14:35 24m 50s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 14:35 24m 50s
Upload *.timing files on failure Test Generated C #5775: Pull request #2012 opened by JasonGross
February 5, 2025 04:37 24m 37s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 04:37 24m 37s
WIP: adapt to stack allocation returning map.of_list_byte_at Test Generated C #5774: Commit fb97ef6 pushed by andres-erbsen
February 4, 2025 23:16 25m 53s less-bytearray
less-bytearray
February 4, 2025 23:16 25m 53s
Bump rupicola from 24f4a75 to 041455f Test Generated C #5773: Pull request #2011 opened by dependabot bot
February 3, 2025 08:07 25m 5s dependabot/submodules/rupicola-041455f
dependabot/submodules/rupicola-041455f
February 3, 2025 08:07 25m 5s
Bump rupicola from 24f4a75 to 041455f Test Generated C #5772: Commit cd06f60 pushed by dependabot bot
February 3, 2025 08:07 24m 51s dependabot/submodules/rupicola-041455f
dependabot/submodules/rupicola-041455f
February 3, 2025 08:07 24m 51s
Test Generated C Test Generated C #5771: Scheduled
February 1, 2025 00:57 24m 39s master
master
February 1, 2025 00:57 24m 39s
switch GarageDoor to LeakageSemantics Test Generated C #5770: Pull request #2009 synchronize by JasonGross
January 31, 2025 20:54 1h 57m 9s OwenConoly:master
OwenConoly:master
January 31, 2025 20:54 1h 57m 9s
Remove --output-sync from build log when make fails (#2010) Test Generated C #5769: Commit f47be1a pushed by JasonGross
January 31, 2025 20:53 1h 7m 16s master
master
January 31, 2025 20:53 1h 7m 16s
Remove --output-sync from build log when make fails Test Generated C #5768: Pull request #2010 opened by JasonGross
January 31, 2025 20:53 24m 40s no-output-sync-debug
no-output-sync-debug
January 31, 2025 20:53 24m 40s
Remove --output-sync from build log when make fails Test Generated C #5767: Commit cf02ec4 pushed by JasonGross
January 31, 2025 20:53 24m 25s no-output-sync-debug
no-output-sync-debug
January 31, 2025 20:53 24m 25s