Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

Nix CI for bundle 8.17

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17.yml
629 workflow runs
629 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

stdpp 1.11; iris 4.3 (#282) Nix CI for bundle 8.17 #665: Commit 6fe6369 pushed by vbgl
November 4, 2024 12:10 25m 41s master
master
November 4, 2024 12:10 25m 41s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.17 #664: Pull request #282 synchronize by vbgl
November 4, 2024 08:58 30m 26s
November 4, 2024 08:58 30m 26s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.17 #663: Pull request #282 synchronize by vbgl
October 31, 2024 19:51 32m 26s
October 31, 2024 19:51 32m 26s
Merge pull request #280 from 4ever2/test-metacoq Nix CI for bundle 8.17 #662: Commit 95ab8ac pushed by proux01
October 31, 2024 14:36 37m 37s master
master
October 31, 2024 14:36 37m 37s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.17 #661: Pull request #282 opened by vbgl
October 31, 2024 13:12 1h 35m 33s vbgl:stdpp-1.11
vbgl:stdpp-1.11
October 31, 2024 13:12 1h 35m 33s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.17 #660: Pull request #282 opened by vbgl
October 31, 2024 13:12 1h 32m 42s
October 31, 2024 13:12 1h 32m 42s
Test nixpkgs#352394 Nix CI for bundle 8.17 #659: Pull request #280 synchronize by proux01
October 31, 2024 10:38 3h 20m 50s 4ever2:test-metacoq
4ever2:test-metacoq
October 31, 2024 10:38 3h 20m 50s
Test nixpkgs#352394 Nix CI for bundle 8.17 #658: Pull request #280 synchronize by proux01
October 31, 2024 10:38 3h 19m 19s
October 31, 2024 10:38 3h 19m 19s
Merge pull request #281 from proux01/elpi_1_18_2 Nix CI for bundle 8.17 #657: Commit 7a87e60 pushed by proux01
October 30, 2024 18:33 29m 49s master
master
October 30, 2024 18:33 29m 49s
Test ocamlPackages.elpi: add 1.18.2 Nix CI for bundle 8.17 #656: Pull request #281 opened by proux01
October 30, 2024 17:58 30m 37s
October 30, 2024 17:58 30m 37s
Test nixpkgs#352394 Nix CI for bundle 8.17 #655: Pull request #280 opened by 4ever2
October 30, 2024 14:46 2h 43m 42s 4ever2:test-metacoq
4ever2:test-metacoq
October 30, 2024 14:46 2h 43m 42s
Test nixpkgs#352394 Nix CI for bundle 8.17 #654: Pull request #280 opened by 4ever2
October 30, 2024 14:46 2h 28m 13s
October 30, 2024 14:46 2h 28m 13s
Merge pull request #279 from proux01/fix-altreals Nix CI for bundle 8.17 #653: Commit 37d20f7 pushed by proux01
October 29, 2024 17:08 23m 31s master
master
October 29, 2024 17:08 23m 31s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.17 #652: Pull request #279 synchronize by proux01
October 29, 2024 16:04 43m 26s proux01:fix-altreals
proux01:fix-altreals
October 29, 2024 16:04 43m 26s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.17 #651: Pull request #279 synchronize by proux01
October 29, 2024 16:04 45m 24s
October 29, 2024 16:04 45m 24s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.17 #650: Pull request #279 opened by proux01
October 29, 2024 11:36 39m 42s proux01:fix-altreals
proux01:fix-altreals
October 29, 2024 11:36 39m 42s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.17 #649: Pull request #279 opened by proux01
October 29, 2024 11:36 39m 52s
October 29, 2024 11:36 39m 52s
Merge pull request #278 from proux01/coq-mathcomp-analysis-reals Nix CI for bundle 8.17 #648: Commit 8be6cb4 pushed by proux01
October 29, 2024 08:17 22m 45s master
master
October 29, 2024 08:17 22m 45s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.17 #647: Pull request #278 synchronize by proux01
October 29, 2024 07:19 40m 33s proux01:coq-mathcomp-analysis-reals
proux01:coq-mathcomp-analysis-reals
October 29, 2024 07:19 40m 33s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.17 #646: Pull request #278 synchronize by proux01
October 29, 2024 07:19 38m 38s
October 29, 2024 07:19 38m 38s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.17 #645: Pull request #278 opened by proux01
October 28, 2024 14:10 1h 25m 11s proux01:coq-mathcomp-analysis-reals
proux01:coq-mathcomp-analysis-reals
October 28, 2024 14:10 1h 25m 11s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.17 #644: Pull request #278 opened by proux01
October 28, 2024 14:10 1h 22m 29s
October 28, 2024 14:10 1h 22m 29s
mathcomp-analysis 1.5.0 (#273) Nix CI for bundle 8.17 #643: Commit 89527ab pushed by vbgl
October 28, 2024 07:02 21m 5s master
master
October 28, 2024 07:02 21m 5s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.17 #642: Pull request #273 synchronize by vbgl
October 28, 2024 06:26 24m 13s
October 28, 2024 06:26 24m 13s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.17 #641: Pull request #273 synchronize by vbgl
October 25, 2024 04:57 23m 52s
October 25, 2024 04:57 23m 52s