Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.19.yml
458 workflow runs
458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

stdpp 1.11; iris 4.3 Nix CI for bundle 8.19 #458: Pull request #282 synchronize by vbgl
October 31, 2024 19:51 37m 48s
October 31, 2024 19:51 37m 48s
Merge pull request #280 from 4ever2/test-metacoq Nix CI for bundle 8.19 #457: Commit 95ab8ac pushed by proux01
October 31, 2024 14:36 41m 59s master
master
October 31, 2024 14:36 41m 59s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.19 #456: Pull request #282 opened by vbgl
October 31, 2024 13:12 1h 37m 17s vbgl:stdpp-1.11
vbgl:stdpp-1.11
October 31, 2024 13:12 1h 37m 17s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.19 #455: Pull request #282 opened by vbgl
October 31, 2024 13:12 1h 34m 40s
October 31, 2024 13:12 1h 34m 40s
Test nixpkgs#352394 Nix CI for bundle 8.19 #454: Pull request #280 synchronize by proux01
October 31, 2024 10:38 3h 28m 53s 4ever2:test-metacoq
4ever2:test-metacoq
October 31, 2024 10:38 3h 28m 53s
Test nixpkgs#352394 Nix CI for bundle 8.19 #453: Pull request #280 synchronize by proux01
October 31, 2024 10:38 3h 24m 3s
October 31, 2024 10:38 3h 24m 3s
Merge pull request #281 from proux01/elpi_1_18_2 Nix CI for bundle 8.19 #452: Commit 7a87e60 pushed by proux01
October 30, 2024 18:33 28m 1s master
master
October 30, 2024 18:33 28m 1s
Test ocamlPackages.elpi: add 1.18.2 Nix CI for bundle 8.19 #451: Pull request #281 opened by proux01
October 30, 2024 17:58 29m 20s
October 30, 2024 17:58 29m 20s
Test nixpkgs#352394 Nix CI for bundle 8.19 #450: Pull request #280 opened by 4ever2
October 30, 2024 14:46 2h 31m 8s 4ever2:test-metacoq
4ever2:test-metacoq
October 30, 2024 14:46 2h 31m 8s
Test nixpkgs#352394 Nix CI for bundle 8.19 #449: Pull request #280 opened by 4ever2
October 30, 2024 14:46 2h 29m 3s
October 30, 2024 14:46 2h 29m 3s
Merge pull request #279 from proux01/fix-altreals Nix CI for bundle 8.19 #448: Commit 37d20f7 pushed by proux01
October 29, 2024 17:08 30m 33s master
master
October 29, 2024 17:08 30m 33s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.19 #447: Pull request #279 synchronize by proux01
October 29, 2024 16:04 49m 53s proux01:fix-altreals
proux01:fix-altreals
October 29, 2024 16:04 49m 53s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.19 #446: Pull request #279 synchronize by proux01
October 29, 2024 16:04 51m 25s
October 29, 2024 16:04 51m 25s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.19 #445: Pull request #279 opened by proux01
October 29, 2024 11:36 45m 14s proux01:fix-altreals
proux01:fix-altreals
October 29, 2024 11:36 45m 14s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.19 #444: Pull request #279 opened by proux01
October 29, 2024 11:36 45m 5s
October 29, 2024 11:36 45m 5s
Merge pull request #278 from proux01/coq-mathcomp-analysis-reals Nix CI for bundle 8.19 #443: Commit 8be6cb4 pushed by proux01
October 29, 2024 08:17 31m 0s master
master
October 29, 2024 08:17 31m 0s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.19 #442: Pull request #278 synchronize by proux01
October 29, 2024 07:19 46m 54s proux01:coq-mathcomp-analysis-reals
proux01:coq-mathcomp-analysis-reals
October 29, 2024 07:19 46m 54s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.19 #441: Pull request #278 synchronize by proux01
October 29, 2024 07:19 48m 35s
October 29, 2024 07:19 48m 35s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.19 #440: Pull request #278 opened by proux01
October 28, 2024 14:10 1h 1m 39s proux01:coq-mathcomp-analysis-reals
proux01:coq-mathcomp-analysis-reals
October 28, 2024 14:10 1h 1m 39s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.19 #439: Pull request #278 opened by proux01
October 28, 2024 14:10 1h 1m 50s
October 28, 2024 14:10 1h 1m 50s
mathcomp-analysis 1.5.0 (#273) Nix CI for bundle 8.19 #438: Commit 89527ab pushed by vbgl
October 28, 2024 07:02 29m 26s master
master
October 28, 2024 07:02 29m 26s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.19 #437: Pull request #273 synchronize by vbgl
October 28, 2024 06:26 33m 6s
October 28, 2024 06:26 33m 6s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.19 #436: Pull request #273 synchronize by vbgl
October 25, 2024 04:57 32m 53s
October 25, 2024 04:57 32m 53s
relation-algebra 1.7.10 & 1.7.11 (#277) Nix CI for bundle 8.19 #435: Commit 220c9c2 pushed by vbgl
October 24, 2024 15:37 27m 43s master
master
October 24, 2024 15:37 27m 43s
relation-algebra 1.7.10 & 1.7.11 Nix CI for bundle 8.19 #434: Pull request #277 synchronize by vbgl
October 24, 2024 14:48 37m 13s vbgl:relation-algebra-1.7.11
vbgl:relation-algebra-1.7.11
October 24, 2024 14:48 37m 13s