Skip to content

Actions: coq/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
587 workflow runs
587 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #108 from SkySkimmer/print-args-delim-tmp Nix CI for bundle rocq-master #44: Commit 4546804 pushed by proux01
February 14, 2025 09:21 2h 31m 14s master
master
February 14, 2025 09:21 2h 31m 14s
Merge pull request #108 from SkySkimmer/print-args-delim-tmp Nix CI for bundle rocq-9.0 #44: Commit 4546804 pushed by proux01
February 14, 2025 09:21 4m 35s master
master
February 14, 2025 09:21 4m 35s
Merge pull request #108 from SkySkimmer/print-args-delim-tmp Basic checks #107: Commit 4546804 pushed by proux01
February 14, 2025 09:21 16s master
master
February 14, 2025 09:21 16s
Merge pull request #109 from SkySkimmer/approve-out Nix CI for bundle rocq-9.0 #43: Commit b0eca91 pushed by SkySkimmer
February 13, 2025 14:44 4h 23m 39s master
master
February 13, 2025 14:44 4h 23m 39s
Merge pull request #109 from SkySkimmer/approve-out Nix CI for bundle rocq-master #43: Commit b0eca91 pushed by SkySkimmer
February 13, 2025 14:44 4h 35m 15s master
master
February 13, 2025 14:44 4h 35m 15s
Merge pull request #109 from SkySkimmer/approve-out Basic checks #106: Commit b0eca91 pushed by SkySkimmer
February 13, 2025 14:44 5m 11s master
master
February 13, 2025 14:44 5m 11s
test suite fix approve-output target Basic checks #105: Pull request #109 opened by SkySkimmer
February 13, 2025 14:44 5m 12s SkySkimmer:approve-out
SkySkimmer:approve-out
February 13, 2025 14:44 5m 12s
test suite fix approve-output target Nix CI for bundle rocq-master #42: Pull request #109 opened by SkySkimmer
February 13, 2025 14:44 4h 14m 24s
February 13, 2025 14:44 4h 14m 24s
test suite fix approve-output target Nix CI for bundle rocq-9.0 #42: Pull request #109 opened by SkySkimmer
February 13, 2025 14:44 4h 18m 8s
February 13, 2025 14:44 4h 18m 8s
Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) Basic checks #104: Pull request #108 opened by SkySkimmer
February 13, 2025 14:43 20s SkySkimmer:print-args-delim-tmp
SkySkimmer:print-args-delim-tmp
February 13, 2025 14:43 20s
Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) Nix CI for bundle rocq-master #41: Pull request #108 opened by SkySkimmer
February 13, 2025 14:43 4h 27m 58s
February 13, 2025 14:43 4h 27m 58s
Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) Nix CI for bundle rocq-9.0 #41: Pull request #108 opened by SkySkimmer
February 13, 2025 14:43 4h 26m 59s
February 13, 2025 14:43 4h 26m 59s
Merge pull request #107 from proux01/cleanup-dev-ci Nix CI for bundle rocq-master #40: Commit 9ff1006 pushed by proux01
February 13, 2025 14:40 4h 21m 6s master
master
February 13, 2025 14:40 4h 21m 6s
Merge pull request #107 from proux01/cleanup-dev-ci Nix CI for bundle rocq-9.0 #40: Commit 9ff1006 pushed by proux01
February 13, 2025 14:40 3h 43m 17s master
master
February 13, 2025 14:40 3h 43m 17s
Merge pull request #107 from proux01/cleanup-dev-ci Basic checks #103: Commit 9ff1006 pushed by proux01
February 13, 2025 14:40 18s master
master
February 13, 2025 14:40 18s
Cleanup dev/ci Nix CI for bundle rocq-master #39: Pull request #107 opened by proux01
February 13, 2025 08:20 16m 2s
February 13, 2025 08:20 16m 2s
Cleanup dev/ci Nix CI for bundle rocq-9.0 #39: Pull request #107 opened by proux01
February 13, 2025 08:20 9m 32s
February 13, 2025 08:20 9m 32s
Cleanup dev/ci Basic checks #102: Pull request #107 opened by proux01
February 13, 2025 08:20 17s proux01:cleanup-dev-ci
proux01:cleanup-dev-ci
February 13, 2025 08:20 17s
Merge pull request #105 from proux01/compile-make Nix CI for bundle rocq-master #38: Commit ddae606 pushed by proux01
February 12, 2025 13:42 1h 10m 11s master
master
February 12, 2025 13:42 1h 10m 11s
Merge pull request #105 from proux01/compile-make Nix CI for bundle rocq-9.0 #38: Commit ddae606 pushed by proux01
February 12, 2025 13:42 1h 8m 48s master
master
February 12, 2025 13:42 1h 8m 48s
Merge pull request #105 from proux01/compile-make Basic checks #101: Commit ddae606 pushed by proux01
February 12, 2025 13:42 13s master
master
February 12, 2025 13:42 13s
Enable compilation with rocq makefile Nix CI for bundle rocq-master #37: Pull request #105 synchronize by proux01
February 12, 2025 10:58 1h 58m 44s
February 12, 2025 10:58 1h 58m 44s
Enable compilation with rocq makefile Basic checks #100: Pull request #105 synchronize by proux01
February 12, 2025 10:58 15s proux01:compile-make
proux01:compile-make
February 12, 2025 10:58 15s
Enable compilation with rocq makefile Nix CI for bundle rocq-9.0 #37: Pull request #105 synchronize by proux01
February 12, 2025 10:58 2h 31m 53s
February 12, 2025 10:58 2h 31m 53s
Enable compilation with rocq makefile Basic checks #99: Pull request #105 synchronize by proux01
February 12, 2025 10:25 12s proux01:compile-make
proux01:compile-make
February 12, 2025 10:25 12s