Skip to content

Actions: coq-community/reglang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
189 workflow runs
189 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add CI for Coq 8.18 (#63) Docker CI #530: Commit 529f206 pushed by palmskog
August 9, 2023 15:03 56m 20s master
master
August 9, 2023 15:03 56m 20s
add CI for Coq 8.18 (#63) Nix CI for bundle master #22: Commit 529f206 pushed by palmskog
August 9, 2023 15:03 2m 46s master
master
August 9, 2023 15:03 2m 46s
add CI for Coq 8.18 Docker CI #529: Pull request #63 opened by palmskog
August 9, 2023 14:11 46m 4s ci-8.18
ci-8.18
August 9, 2023 14:11 46m 4s
add CI for Coq 8.18 Nix CI for bundle 8.17 #21: Pull request #63 opened by palmskog
August 9, 2023 14:11 2m 59s ci-8.18
ci-8.18
August 9, 2023 14:11 2m 59s
add CI for Coq 8.18 Nix CI for bundle master #21: Pull request #63 opened by palmskog
August 9, 2023 14:11 48m 9s ci-8.18
ci-8.18
August 9, 2023 14:11 48m 9s
add CI for Coq 8.18 Nix CI for bundle 8.16 #21: Pull request #63 opened by palmskog
August 9, 2023 14:11 3m 6s ci-8.18
ci-8.18
August 9, 2023 14:11 3m 6s
add CI for Coq 8.18 Nix CI for bundle master #20: Pull request #63 opened by palmskog
August 9, 2023 14:11 50m 45s
August 9, 2023 14:11 50m 45s
add CI for Coq 8.18 Nix CI for bundle 8.16 #20: Pull request #63 opened by palmskog
August 9, 2023 14:11 3m 20s
August 9, 2023 14:11 3m 20s
add CI for Coq 8.18 Nix CI for bundle 8.17 #20: Pull request #63 opened by palmskog
August 9, 2023 14:11 3m 14s
August 9, 2023 14:11 3m 14s
Docker CI Docker CI #528: Scheduled
August 6, 2023 02:00 45m 33s master
master
August 6, 2023 02:00 45m 33s
consistently use #[local] instead of Local (#62) Docker CI #527: Commit 555c33f pushed by palmskog
August 3, 2023 16:04 4m 1s master
master
August 3, 2023 16:04 4m 1s
consistently use #[local] instead of Local (#62) Nix CI for bundle master #19: Commit 555c33f pushed by palmskog
August 3, 2023 16:04 3m 2s master
master
August 3, 2023 16:04 3m 2s
consistently use #[local] instead of Local (#62) Nix CI for bundle 8.16 #19: Commit 555c33f pushed by palmskog
August 3, 2023 16:04 1m 26s master
master
August 3, 2023 16:04 1m 26s
consistently use #[local] instead of Local (#62) Nix CI for bundle 8.17 #19: Commit 555c33f pushed by palmskog
August 3, 2023 16:04 1m 27s master
master
August 3, 2023 16:04 1m 27s
consistently use #[local] instead of Local Docker CI #526: Pull request #62 opened by palmskog
August 3, 2023 15:54 4m 49s local-annotation
local-annotation
August 3, 2023 15:54 4m 49s
consistently use #[local] instead of Local Nix CI for bundle 8.17 #18: Pull request #62 opened by palmskog
August 3, 2023 15:54 3m 5s
August 3, 2023 15:54 3m 5s
consistently use #[local] instead of Local Nix CI for bundle 8.16 #18: Pull request #62 opened by palmskog
August 3, 2023 15:54 2m 53s
August 3, 2023 15:54 2m 53s
consistently use #[local] instead of Local Nix CI for bundle master #18: Pull request #62 opened by palmskog
August 3, 2023 15:54 3m 5s
August 3, 2023 15:54 3m 5s
Purge redundant misc lemmas (#61) Nix CI for bundle master #17: Commit 6d5f456 pushed by palmskog
August 3, 2023 14:27 2m 54s master
master
August 3, 2023 14:27 2m 54s
Purge redundant misc lemmas (#61) Nix CI for bundle 8.17 #17: Commit 6d5f456 pushed by palmskog
August 3, 2023 14:27 1m 37s master
master
August 3, 2023 14:27 1m 37s
Purge redundant misc lemmas (#61) Nix CI for bundle 8.16 #17: Commit 6d5f456 pushed by palmskog
August 3, 2023 14:27 1m 26s master
master
August 3, 2023 14:27 1m 26s
Purge redundant misc lemmas (#61) Docker CI #525: Commit 6d5f456 pushed by palmskog
August 3, 2023 14:27 4m 38s master
master
August 3, 2023 14:27 4m 38s
Purge redundant misc lemmas Nix CI for bundle 8.16 #16: Pull request #61 opened by palmskog
August 3, 2023 13:33 2m 58s
August 3, 2023 13:33 2m 58s
Purge redundant misc lemmas Nix CI for bundle master #16: Pull request #61 opened by palmskog
August 3, 2023 13:33 33m 36s
August 3, 2023 13:33 33m 36s
Purge redundant misc lemmas Docker CI #524: Pull request #61 opened by palmskog
August 3, 2023 13:33 5m 2s purge-redundant
purge-redundant
August 3, 2023 13:33 5m 2s