Skip to content

Actions: coq/stdlib

Actions

Nix CI for bundle rocq-9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.0.yml
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stdlib rocq manual Nix CI for bundle rocq-9.0 #56: Pull request #112 opened by mattam82
February 28, 2025 16:10 1h 51m 18s
February 28, 2025 16:10 1h 51m 18s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #55: Pull request #110 synchronize by fajb
February 27, 2025 10:17 5m 41s
February 27, 2025 10:17 5m 41s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #54: Pull request #110 synchronize by fajb
February 26, 2025 13:35 5m 34s
February 26, 2025 13:35 5m 34s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #53: Pull request #110 synchronize by fajb
February 26, 2025 13:18 5m 22s
February 26, 2025 13:18 5m 22s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #52: Pull request #110 synchronize by fajb
February 26, 2025 11:03 5m 34s
February 26, 2025 11:03 5m 34s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #51: Pull request #110 synchronize by fajb
February 26, 2025 09:17 5m 21s
February 26, 2025 09:17 5m 21s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #50: Pull request #110 synchronize by fajb
February 25, 2025 15:08 7m 50s
February 25, 2025 15:08 7m 50s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #49: Pull request #110 synchronize by fajb
February 25, 2025 11:03 5m 47s
February 25, 2025 11:03 5m 47s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #48: Pull request #110 synchronize by fajb
February 25, 2025 10:57 5m 17s
February 25, 2025 10:57 5m 17s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #47: Pull request #110 synchronize by fajb
February 24, 2025 17:52 5m 17s
February 24, 2025 17:52 5m 17s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #46: Pull request #110 synchronize by fajb
February 24, 2025 17:48 5m 6s
February 24, 2025 17:48 5m 6s
Rify + lra solves Mixed Integer Programs Nix CI for bundle rocq-9.0 #45: Pull request #110 opened by fajb
February 24, 2025 17:36 5m 19s
February 24, 2025 17:36 5m 19s
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 #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
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) 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-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
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
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
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 Nix CI for bundle rocq-9.0 #36: Pull request #105 synchronize by proux01
February 12, 2025 10:25 32m 11s
February 12, 2025 10:25 32m 11s
Enable compilation with rocq makefile Nix CI for bundle rocq-9.0 #35: Pull request #105 opened by proux01
February 12, 2025 10:15 2m 24s
February 12, 2025 10:15 2m 24s
Merge pull request #104 from proux01/narith-base Nix CI for bundle rocq-9.0 #34: Commit f1dae92 pushed by proux01
February 10, 2025 16:19 56m 32s master
master
February 10, 2025 16:19 56m 32s
Reexport NArithRing in NArith Nix CI for bundle rocq-9.0 #33: Pull request #104 opened by proux01
February 10, 2025 11:35 1h 50m 9s
February 10, 2025 11:35 1h 50m 9s
Merge pull request #2 from coq/clarify-structure Nix CI for bundle rocq-9.0 #32: Commit c2dee97 pushed by proux01
February 3, 2025 07:52 36m 17s master
master
February 3, 2025 07:52 36m 17s