Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,561 workflow runs
6,561 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #312 from proux01/stdlib-on-master Nix CI for bundle 8.16-mathcomp2 #552: Commit 78d9550 pushed by proux01
January 18, 2025 19:34 26m 16s master
master
January 18, 2025 19:34 26m 16s
Merge pull request #312 from proux01/stdlib-on-master Nix CI for bundle 8.19 #614: Commit 78d9550 pushed by proux01
January 18, 2025 19:34 26m 21s master
master
January 18, 2025 19:34 26m 21s
Merge pull request #312 from proux01/stdlib-on-master Nix CI for bundle 8.17 #815: Commit 78d9550 pushed by proux01
January 18, 2025 19:34 25m 55s master
master
January 18, 2025 19:34 25m 55s
Merge pull request #312 from proux01/stdlib-on-master Nix CI for bundle 8.16 #884: Commit 78d9550 pushed by proux01
January 18, 2025 19:34 24m 32s master
master
January 18, 2025 19:34 24m 32s
Merge pull request #312 from proux01/stdlib-on-master Nix CI for bundle 8.18 #692: Commit 78d9550 pushed by proux01
January 18, 2025 19:34 25m 27s master
master
January 18, 2025 19:34 25m 27s
Merge pull request #312 from proux01/stdlib-on-master Nix CI for bundle 8.20 #415: Commit 78d9550 pushed by proux01
January 18, 2025 19:34 25m 41s master
master
January 18, 2025 19:34 25m 41s
Merge pull request #312 from proux01/stdlib-on-master Nix CI for bundle master #1073: Commit 78d9550 pushed by proux01
January 18, 2025 19:34 2m 29s master
master
January 18, 2025 19:34 2m 29s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.17 #814: Pull request #312 synchronize by proux01
January 18, 2025 16:18 58m 3s proux01:stdlib-on-master
proux01:stdlib-on-master
January 18, 2025 16:18 58m 3s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.19 #613: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 49s proux01:stdlib-on-master
proux01:stdlib-on-master
January 18, 2025 16:18 57m 49s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.18 #691: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 59s proux01:stdlib-on-master
proux01:stdlib-on-master
January 18, 2025 16:18 57m 59s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.16-mathcomp2 #551: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 53s proux01:stdlib-on-master
proux01:stdlib-on-master
January 18, 2025 16:18 57m 53s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.16 #883: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 13s proux01:stdlib-on-master
proux01:stdlib-on-master
January 18, 2025 16:18 57m 13s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.20 #414: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 52s proux01:stdlib-on-master
proux01:stdlib-on-master
January 18, 2025 16:18 57m 52s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.16 #882: Pull request #312 synchronize by proux01
January 18, 2025 16:18 55m 32s
January 18, 2025 16:18 55m 32s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.19 #612: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 40s
January 18, 2025 16:18 57m 40s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.17 #813: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 30s
January 18, 2025 16:18 57m 30s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.16-mathcomp2 #550: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 35s
January 18, 2025 16:18 57m 35s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.20 #413: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 28s
January 18, 2025 16:18 57m 28s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle 8.18 #690: Pull request #312 synchronize by proux01
January 18, 2025 16:18 57m 30s
January 18, 2025 16:18 57m 30s
coqPackages.stdlib: compile some reverse dependencies with Coq master Nix CI for bundle master #1072: Pull request #312 synchronize by proux01
January 18, 2025 16:18 3m 1s
January 18, 2025 16:18 3m 1s
Merge pull request #296 from CohenCyril/error-message Nix CI for bundle 8.16-mathcomp2 #549: Commit 546bb99 pushed by proux01
January 18, 2025 15:56 46m 24s master
master
January 18, 2025 15:56 46m 24s
Merge pull request #296 from CohenCyril/error-message Nix CI for bundle 8.18 #689: Commit 546bb99 pushed by proux01
January 18, 2025 15:56 46m 44s master
master
January 18, 2025 15:56 46m 44s
Merge pull request #296 from CohenCyril/error-message Nix CI for bundle 8.19 #611: Commit 546bb99 pushed by proux01
January 18, 2025 15:56 46m 33s master
master
January 18, 2025 15:56 46m 33s
Merge pull request #296 from CohenCyril/error-message Nix CI for bundle 8.17 #812: Commit 546bb99 pushed by proux01
January 18, 2025 15:56 53m 57s master
master
January 18, 2025 15:56 53m 57s
Merge pull request #296 from CohenCyril/error-message Nix CI for bundle master #1071: Commit 546bb99 pushed by proux01
January 18, 2025 15:56 5m 32s master
master
January 18, 2025 15:56 5m 32s