Skip to content

Actions: rocq-community/coq-nix-toolbox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,590 workflow runs
5,590 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle master #1265: Pull request #357 opened by proux01
June 4, 2025 14:27 1m 44s
June 4, 2025 14:27 1m 44s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle rocq-master #156: Pull request #357 opened by proux01
June 4, 2025 14:27 1m 22s
June 4, 2025 14:27 1m 22s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 9.0 #234: Pull request #357 opened by proux01
June 4, 2025 14:27 47s
June 4, 2025 14:27 47s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 8.18 #923: Pull request #357 opened by proux01
June 4, 2025 14:27 2m 39s
June 4, 2025 14:27 2m 39s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 8.19 #847: Pull request #357 opened by proux01
June 4, 2025 14:27 1m 3s
June 4, 2025 14:27 1m 3s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 8.20 #651: Pull request #357 opened by proux01
June 4, 2025 14:27 3m 58s
June 4, 2025 14:27 3m 58s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle rocq-9.0 #172: Pull request #357 opened by proux01
June 4, 2025 14:27 1m 30s
June 4, 2025 14:27 1m 30s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle rocq-9.0 #171: Pull request #357 synchronize by proux01
June 4, 2025 14:25 59s
June 4, 2025 14:25 59s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle rocq-9.0 #170: Pull request #357 synchronize by proux01
June 4, 2025 14:25 28m 50s proux01:rocq-mathcomp
proux01:rocq-mathcomp
June 4, 2025 14:25 28m 50s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 9.0 #233: Pull request #357 synchronize by proux01
June 4, 2025 14:25 53m 24s
June 4, 2025 14:25 53m 24s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 8.19 #846: Pull request #357 synchronize by proux01
June 4, 2025 14:25 28m 39s
June 4, 2025 14:25 28m 39s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle rocq-master #155: Pull request #357 synchronize by proux01
June 4, 2025 14:25 5m 21s
June 4, 2025 14:25 5m 21s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 8.18 #922: Pull request #357 synchronize by proux01
June 4, 2025 14:25 1m 7s
June 4, 2025 14:25 1m 7s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle master #1264: Pull request #357 synchronize by proux01
June 4, 2025 14:25 4m 8s
June 4, 2025 14:25 4m 8s
Test rocqPackages.mathcomp: init at 2.4.0 Nix CI for bundle 8.20 #650: Pull request #357 synchronize by proux01
June 4, 2025 14:25 29m 39s
June 4, 2025 14:25 29m 39s
Merge pull request #355 from proux01/rocq-hb Nix CI for bundle 8.18 #921: Commit b48d926 pushed by proux01
June 3, 2025 15:27 18m 5s master
master
June 3, 2025 15:27 18m 5s
Merge pull request #355 from proux01/rocq-hb Nix CI for bundle 8.20 #649: Commit b48d926 pushed by proux01
June 3, 2025 15:27 17m 51s master
master
June 3, 2025 15:27 17m 51s
Merge pull request #355 from proux01/rocq-hb Nix CI for bundle 8.19 #845: Commit b48d926 pushed by proux01
June 3, 2025 15:27 16m 22s master
master
June 3, 2025 15:27 16m 22s
Merge pull request #355 from proux01/rocq-hb Nix CI for bundle 9.0 #232: Commit b48d926 pushed by proux01
June 3, 2025 15:27 16m 48s master
master
June 3, 2025 15:27 16m 48s
Merge pull request #355 from proux01/rocq-hb Nix CI for bundle rocq-9.0 #169: Commit b48d926 pushed by proux01
June 3, 2025 15:27 2m 58s master
master
June 3, 2025 15:27 2m 58s
Merge pull request #355 from proux01/rocq-hb Nix CI for bundle master #1263: Commit b48d926 pushed by proux01
June 3, 2025 15:27 3m 58s master
master
June 3, 2025 15:27 3m 58s
Merge pull request #355 from proux01/rocq-hb Nix CI for bundle rocq-master #154: Commit b48d926 pushed by proux01
June 3, 2025 15:27 5m 54s master
master
June 3, 2025 15:27 5m 54s
rocqPackages.hierarchy-builder: init at 1.9.1 Nix CI for bundle rocq-9.0 #168: Pull request #355 synchronize by proux01
June 3, 2025 11:02 2m 54s proux01:rocq-hb
proux01:rocq-hb
June 3, 2025 11:02 2m 54s
rocqPackages.hierarchy-builder: init at 1.9.1 Nix CI for bundle 8.20 #648: Pull request #355 synchronize by proux01
June 3, 2025 11:02 18m 9s
June 3, 2025 11:02 18m 9s
rocqPackages.hierarchy-builder: init at 1.9.1 Nix CI for bundle 8.18 #920: Pull request #355 synchronize by proux01
June 3, 2025 11:02 17m 31s
June 3, 2025 11:02 17m 31s