Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

Nix CI for bundle 8.16-mathcomp2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.16-mathcomp2.yml
404 workflow runs
404 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.16-mathcomp2 #404: Pull request #282 synchronize by vbgl
October 31, 2024 19:51 32m 3s
October 31, 2024 19:51 32m 3s
Merge pull request #280 from 4ever2/test-metacoq Nix CI for bundle 8.16-mathcomp2 #403: Commit 95ab8ac pushed by proux01
October 31, 2024 14:36 37m 24s master
master
October 31, 2024 14:36 37m 24s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.16-mathcomp2 #402: Pull request #282 opened by vbgl
October 31, 2024 13:12 1h 27m 9s vbgl:stdpp-1.11
vbgl:stdpp-1.11
October 31, 2024 13:12 1h 27m 9s
stdpp 1.11; iris 4.3 Nix CI for bundle 8.16-mathcomp2 #401: Pull request #282 opened by vbgl
October 31, 2024 13:12 1h 25m 20s
October 31, 2024 13:12 1h 25m 20s
Test nixpkgs#352394 Nix CI for bundle 8.16-mathcomp2 #400: Pull request #280 synchronize by proux01
October 31, 2024 10:38 2h 47m 8s 4ever2:test-metacoq
4ever2:test-metacoq
October 31, 2024 10:38 2h 47m 8s
Test nixpkgs#352394 Nix CI for bundle 8.16-mathcomp2 #399: Pull request #280 synchronize by proux01
October 31, 2024 10:38 2h 55m 0s
October 31, 2024 10:38 2h 55m 0s
Merge pull request #281 from proux01/elpi_1_18_2 Nix CI for bundle 8.16-mathcomp2 #398: Commit 7a87e60 pushed by proux01
October 30, 2024 18:33 31m 41s master
master
October 30, 2024 18:33 31m 41s
Test ocamlPackages.elpi: add 1.18.2 Nix CI for bundle 8.16-mathcomp2 #397: Pull request #281 opened by proux01
October 30, 2024 17:58 31m 27s
October 30, 2024 17:58 31m 27s
Test nixpkgs#352394 Nix CI for bundle 8.16-mathcomp2 #396: Pull request #280 opened by 4ever2
October 30, 2024 14:46 2h 14m 52s 4ever2:test-metacoq
4ever2:test-metacoq
October 30, 2024 14:46 2h 14m 52s
Test nixpkgs#352394 Nix CI for bundle 8.16-mathcomp2 #395: Pull request #280 opened by 4ever2
October 30, 2024 14:46 2h 19m 13s
October 30, 2024 14:46 2h 19m 13s
Merge pull request #279 from proux01/fix-altreals Nix CI for bundle 8.16-mathcomp2 #394: Commit 37d20f7 pushed by proux01
October 29, 2024 17:08 23m 59s master
master
October 29, 2024 17:08 23m 59s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.16-mathcomp2 #393: Pull request #279 synchronize by proux01
October 29, 2024 16:04 44m 25s
October 29, 2024 16:04 44m 25s
Forgotten dependency for mathcomp-altreals Nix CI for bundle 8.16-mathcomp2 #392: Pull request #279 opened by proux01
October 29, 2024 11:36 40m 5s
October 29, 2024 11:36 40m 5s
Merge pull request #278 from proux01/coq-mathcomp-analysis-reals Nix CI for bundle 8.16-mathcomp2 #391: Commit 8be6cb4 pushed by proux01
October 29, 2024 08:17 21m 54s master
master
October 29, 2024 08:17 21m 54s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.16-mathcomp2 #390: Pull request #278 synchronize by proux01
October 29, 2024 07:19 39m 23s
October 29, 2024 07:19 39m 23s
coqPackages.mathcomp-reals: init at 1.7 Nix CI for bundle 8.16-mathcomp2 #389: Pull request #278 opened by proux01
October 28, 2024 14:10 41m 3s
October 28, 2024 14:10 41m 3s
mathcomp-analysis 1.5.0 (#273) Nix CI for bundle 8.16-mathcomp2 #388: Commit 89527ab pushed by vbgl
October 28, 2024 07:02 21m 6s master
master
October 28, 2024 07:02 21m 6s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.16-mathcomp2 #387: Pull request #273 synchronize by vbgl
October 28, 2024 06:26 23m 54s
October 28, 2024 06:26 23m 54s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.16-mathcomp2 #386: Pull request #273 synchronize by vbgl
October 25, 2024 04:57 23m 58s
October 25, 2024 04:57 23m 58s
relation-algebra 1.7.10 & 1.7.11 (#277) Nix CI for bundle 8.16-mathcomp2 #385: Commit 220c9c2 pushed by vbgl
October 24, 2024 15:37 22m 14s master
master
October 24, 2024 15:37 22m 14s
relation-algebra 1.7.10 & 1.7.11 Nix CI for bundle 8.16-mathcomp2 #384: Pull request #277 synchronize by vbgl
October 24, 2024 14:48 31m 23s
October 24, 2024 14:48 31m 23s
relation-algebra 1.7.10 & 1.7.11 Nix CI for bundle 8.16-mathcomp2 #383: Pull request #277 synchronize by vbgl
October 22, 2024 04:37 30m 3s
October 22, 2024 04:37 30m 3s
relation-algebra 1.7.10 & 1.7.11 Nix CI for bundle 8.16-mathcomp2 #382: Pull request #277 opened by vbgl
October 21, 2024 21:22 34m 30s
October 21, 2024 21:22 34m 30s
Testing nixpkgs#350287 Nix CI for bundle 8.16-mathcomp2 #381: Pull request #276 opened by CohenCyril
October 21, 2024 17:04 4m 18s
October 21, 2024 17:04 4m 18s
coqutil 0.0.5/0.0.6 (#275) Nix CI for bundle 8.16-mathcomp2 #380: Commit 38bf063 pushed by vbgl
October 17, 2024 11:44 21m 21s master
master
October 17, 2024 11:44 21m 21s