Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, docker, dev)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-docker.yml
503 workflow runs
503 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump rupicola from 274f70a to 4c70cff CI (Coq, docker, dev) #1102: Pull request #2125 synchronize by dependabot Bot
6h 26m 34s dependabot/submodules/rupicola-4c70cff
dependabot/submodules/rupicola-4c70cff
6h 26m 34s
[CI] [Rust] Handle existence of patch.crates-io section (#2126) CI (Coq, docker, dev) #1101: Commit 087f782 pushed by JasonGross
7h 20m 13s master
master
7h 20m 13s
[CI] [Rust] Handle existence of patch.crates-io section CI (Coq, docker, dev) #1100: Pull request #2126 opened by JasonGross
8m 19s JasonGross:fix-test-rust
JasonGross:fix-test-rust
8m 19s
Bump rewriter from 9496def to 27a5326 CI (Coq, docker, dev) #1099: Pull request #2114 synchronize by dependabot Bot
13m 24s dependabot/submodules/rewriter-27a5326
dependabot/submodules/rewriter-27a5326
13m 24s
Bump rupicola from 274f70a to 4c70cff CI (Coq, docker, dev) #1098: Pull request #2125 synchronize by dependabot Bot
13m 55s dependabot/submodules/rupicola-4c70cff
dependabot/submodules/rupicola-4c70cff
13m 55s
[CI] Autogenerate PR for generated files when CI fails and regenerate… CI (Coq, docker, dev) #1097: Commit cf5d8ac pushed by JasonGross
5h 56m 20s master
master
5h 56m 20s
Ed25519: Point-based separation logic for doubling CI (Coq, docker, dev) #1096: Pull request #2122 synchronize by miriampolzer
3h 59m 41s miriampolzer:point_struct_squashed
miriampolzer:point_struct_squashed
3h 59m 41s
Ed25519: Point-based separation logic for doubling CI (Coq, docker, dev) #1095: Pull request #2122 synchronize by miriampolzer
3h 53m 51s miriampolzer:point_struct_squashed
miriampolzer:point_struct_squashed
3h 53m 51s
Ed25519: Point-based separation logic for doubling CI (Coq, docker, dev) #1094: Pull request #2122 synchronize by miriampolzer
1h 3m 35s miriampolzer:point_struct_squashed
miriampolzer:point_struct_squashed
1h 3m 35s
Bump rupicola from 274f70a to 4c70cff CI (Coq, docker, dev) #1093: Pull request #2125 opened by dependabot Bot
3h 50m 32s dependabot/submodules/rupicola-4c70cff
dependabot/submodules/rupicola-4c70cff
3h 50m 32s
Disable BoringSSL-integration tests CI (Coq, docker, dev) #1092: Commit 4fea40f pushed by andres-erbsen
3h 50m 12s master
master
3h 50m 12s
Disable BoringSSL-integration tests CI (Coq, docker, dev) #1091: Pull request #2124 opened by andres-erbsen
3h 48m 39s disable-boringssl-integration-tests
disable-boringssl-integration-tests
3h 48m 39s
Ed25519: Point-based separation logic for doubling CI (Coq, docker, dev) #1090: Pull request #2122 synchronize by miriampolzer
3h 51m 32s miriampolzer:point_struct_squashed
miriampolzer:point_struct_squashed
3h 51m 32s
Ed25519: Point-based separation logic for doubling CI (Coq, docker, dev) #1089: Pull request #2122 opened by miriampolzer
8m 14s miriampolzer:point_struct_squashed
miriampolzer:point_struct_squashed
8m 14s
Saturated experiment revived CI (Coq, docker, dev) #1088: Pull request #2120 opened by andres-erbsen
1h 13m 55s andres-erbsen:saturated-experiment-revived
andres-erbsen:saturated-experiment-revived
1h 13m 55s
refactor Scalars to use $@ CI (Coq, docker, dev) #1087: Commit 86bd297 pushed by andres-erbsen
4h 34m 1s master
master
4h 34m 1s
Define Scalars, anybytes using $@ without tuples or ptsto_bytes CI (Coq, docker, dev) #1086: Pull request #2118 synchronize by andres-erbsen
5h 12m 41s andres-erbsen:without-tuples-2025
andres-erbsen:without-tuples-2025
5h 12m 41s
Merge pull request #2117 from mit-plv/enable-jsoo-macos CI (Coq, docker, dev) #1085: Commit 347865b pushed by JasonGross
6h 18m 16s master
master
6h 18m 16s
[CI] [MacOS] Enable JSOO again CI (Coq, docker, dev) #1084: Pull request #2117 synchronize by JasonGross
5h 47m 9s enable-jsoo-macos
enable-jsoo-macos
5h 47m 9s
Define Scalars, anybytes using $@ without tuples or ptsto_bytes CI (Coq, docker, dev) #1083: Pull request #2118 reopened by andres-erbsen
3h 49m 8s andres-erbsen:without-tuples-2025
andres-erbsen:without-tuples-2025
3h 49m 8s
Define Scalars, anybytes using $@ without tuples or ptsto_bytes CI (Coq, docker, dev) #1082: Pull request #2118 synchronize by andres-erbsen
1m 16s andres-erbsen:without-tuples-2025
andres-erbsen:without-tuples-2025
1m 16s
Implement and prove to_cached function CI (Coq, docker, dev) #1081: Commit a6eb6bb pushed by andres-erbsen
3h 48m 37s master
master
3h 48m 37s
[CI] [MacOS] Enable JSOO again CI (Coq, docker, dev) #1080: Pull request #2117 synchronize by JasonGross
3h 49m 25s enable-jsoo-macos
enable-jsoo-macos
3h 49m 25s
[CI] [MacOS] Enable JSOO again CI (Coq, docker, dev) #1079: Pull request #2117 opened by JasonGross
3h 50m 16s enable-jsoo-macos
enable-jsoo-macos
3h 50m 16s
Implement and prove to_cached function CI (Coq, docker, dev) #1078: Pull request #2116 opened by miriampolzer
3h 49m 30s miriampolzer:to_cached
miriampolzer:to_cached
3h 49m 30s
ProTip! You can narrow down the results and go further in time using created:<2025-07-02 or the other filters available.