Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, Debian)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-debian.yml
524 workflow runs
524 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

switch GarageDoor to LeakageSemantics (#2009) CI (Coq, Debian) #1082: Commit 1c166e0 pushed by andres-erbsen
February 16, 2025 23:27 3h 3m 38s master
master
February 16, 2025 23:27 3h 3m 38s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1081: Pull request #2009 synchronize by OwenConoly
February 16, 2025 19:35 3h 3m 53s OwenConoly:master
OwenConoly:master
February 16, 2025 19:35 3h 3m 53s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1080: Pull request #2009 synchronize by OwenConoly
February 16, 2025 19:33 1m 47s OwenConoly:master
OwenConoly:master
February 16, 2025 19:33 1m 47s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1079: Pull request #2009 synchronize by OwenConoly
February 16, 2025 19:30 3m 49s OwenConoly:master
OwenConoly:master
February 16, 2025 19:30 3m 49s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1078: Pull request #2009 synchronize by OwenConoly
February 16, 2025 19:29 53s OwenConoly:master
OwenConoly:master
February 16, 2025 19:29 53s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1077: Pull request #2009 synchronize by JasonGross
February 8, 2025 01:06 3h 5m 36s OwenConoly:master
OwenConoly:master
February 8, 2025 01:06 3h 5m 36s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1076: Pull request #2009 synchronize by JasonGross
February 8, 2025 00:29 38m 12s OwenConoly:master
OwenConoly:master
February 8, 2025 00:29 38m 12s
Refined/Signed Barrett Reduction (#2013) CI (Coq, Debian) #1075: Commit 8cbd4d3 pushed by andres-erbsen
February 7, 2025 19:40 2h 57m 52s master
master
February 7, 2025 19:40 2h 57m 52s
Refined/Signed Barrett Reduction CI (Coq, Debian) #1074: Pull request #2013 synchronize by atrieu
February 7, 2025 14:57 3h 2m 25s atrieu:refined_barrett
atrieu:refined_barrett
February 7, 2025 14:57 3h 2m 25s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1073: Pull request #2009 synchronize by JasonGross
February 6, 2025 20:05 3h 1m 33s OwenConoly:master
OwenConoly:master
February 6, 2025 20:05 3h 1m 33s
Update coq-windows.yml CI (Coq, Debian) #1072: Commit 66b7bf5 pushed by JasonGross
February 6, 2025 20:04 3h 9m 3s master
master
February 6, 2025 20:04 3h 9m 3s
Refined/Signed Barrett Reduction CI (Coq, Debian) #1071: Pull request #2013 opened by atrieu
February 6, 2025 10:26 3h 3m 32s atrieu:refined_barrett
atrieu:refined_barrett
February 6, 2025 10:26 3h 3m 32s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1070: Pull request #2009 synchronize by JasonGross
February 5, 2025 23:38 3h 6m 41s OwenConoly:master
OwenConoly:master
February 5, 2025 23:38 3h 6m 41s
Bump rupicola from 24f4a75 to 041455f CI (Coq, Debian) #1069: Pull request #2011 synchronize by JasonGross
February 5, 2025 23:38 2h 47m 40s dependabot/submodules/rupicola-041455f
dependabot/submodules/rupicola-041455f
February 5, 2025 23:38 2h 47m 40s
Upload *.timing files on failure (#2012) CI (Coq, Debian) #1068: Commit 6f9b5df pushed by JasonGross
February 5, 2025 23:37 3h 7m 51s master
master
February 5, 2025 23:37 3h 7m 51s
Upload *.timing files on failure CI (Coq, Debian) #1067: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:23 3h 5m 9s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:23 3h 5m 9s
Upload *.timing files on failure CI (Coq, Debian) #1066: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:15 8m 35s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:15 8m 35s
Upload *.timing files on failure CI (Coq, Debian) #1065: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:11 4m 44s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:11 4m 44s
Upload *.timing files on failure CI (Coq, Debian) #1064: Pull request #2012 synchronize by JasonGross
February 5, 2025 23:08 3m 7s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 23:08 3m 7s
Upload *.timing files on failure CI (Coq, Debian) #1063: Pull request #2012 synchronize by JasonGross
February 5, 2025 14:35 3h 3m 0s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 14:35 3h 3m 0s
Upload *.timing files on failure CI (Coq, Debian) #1062: Pull request #2012 opened by JasonGross
February 5, 2025 04:37 3h 52m 58s JasonGross:upload-timing-files
JasonGross:upload-timing-files
February 5, 2025 04:37 3h 52m 58s
Bump rupicola from 24f4a75 to 041455f CI (Coq, Debian) #1061: Pull request #2011 opened by dependabot bot
February 3, 2025 08:07 1h 30m 11s dependabot/submodules/rupicola-041455f
dependabot/submodules/rupicola-041455f
February 3, 2025 08:07 1h 30m 11s
CI (Coq, Debian) CI (Coq, Debian) #1060: Scheduled
February 1, 2025 00:55 3h 0m 21s master
master
February 1, 2025 00:55 3h 0m 21s
switch GarageDoor to LeakageSemantics CI (Coq, Debian) #1059: Pull request #2009 synchronize by JasonGross
January 31, 2025 20:54 3h 6m 7s OwenConoly:master
OwenConoly:master
January 31, 2025 20:54 3h 6m 7s
Remove --output-sync from build log when make fails (#2010) CI (Coq, Debian) #1058: Commit f47be1a pushed by JasonGross
January 31, 2025 20:53 3h 5m 11s master
master
January 31, 2025 20:53 3h 5m 11s