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
530 workflow runs
530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #251 from proux01/fix-deprecation Nix CI for bundle 8.17 #535: Commit aa2e056 pushed by proux01
August 22, 2024 11:34 1h 24m 36s master
master
August 22, 2024 11:34 1h 24m 36s
Fix deprecation warning about mapAttrsFlatten Nix CI for bundle 8.17 #534: Pull request #251 opened by proux01
August 22, 2024 11:31 2m 34s
August 22, 2024 11:31 2m 34s
coqPackages.http: init at 0.2.1 Nix CI for bundle 8.17 #533: Pull request #250 synchronize by proux01
August 22, 2024 11:29 1h 39m 2s proux01:coq-http
proux01:coq-http
August 22, 2024 11:29 1h 39m 2s
coqPackages.http: init at 0.2.1 Nix CI for bundle 8.17 #532: Pull request #250 synchronize by proux01
August 22, 2024 11:29 1h 38m 25s
August 22, 2024 11:29 1h 38m 25s
coqPackages.http: init at 0.2.1 Nix CI for bundle 8.17 #531: Pull request #250 opened by proux01
August 22, 2024 10:11 1h 4m 7s proux01:coq-http
proux01:coq-http
August 22, 2024 10:11 1h 4m 7s
coqPackages.http: init at 0.2.1 Nix CI for bundle 8.17 #530: Pull request #250 opened by proux01
August 22, 2024 10:11 1h 4m 43s
August 22, 2024 10:11 1h 4m 43s
Merge pull request #248 from proux01/coq-atbr Nix CI for bundle 8.17 #529: Commit 2f11907 pushed by proux01
August 22, 2024 09:41 18m 33s master
master
August 22, 2024 09:41 18m 33s
coqPackages.atbr: init at 8.20.0 Nix CI for bundle 8.17 #528: Pull request #248 synchronize by proux01
August 22, 2024 08:49 20m 42s
August 22, 2024 08:49 20m 42s
coqPackages.atbr: init at 8.20.0 Nix CI for bundle 8.17 #527: Pull request #248 synchronize by proux01
August 21, 2024 14:39 47m 11s
August 21, 2024 14:39 47m 11s
Add MenhirLib & use it in CompCert (#249) Nix CI for bundle 8.17 #526: Commit e7140dd pushed by vbgl
August 20, 2024 13:56 22m 29s master
master
August 20, 2024 13:56 22m 29s
Add MenhirLib & use it in CompCert Nix CI for bundle 8.17 #525: Pull request #249 synchronize by vbgl
August 20, 2024 13:02 40m 4s vbgl:MenhirLib-nit
vbgl:MenhirLib-nit
August 20, 2024 13:02 40m 4s
Add MenhirLib & use it in CompCert Nix CI for bundle 8.17 #524: Pull request #249 synchronize by vbgl
August 20, 2024 13:02 39m 32s
August 20, 2024 13:02 39m 32s
Merge pull request #241 from proux01/mc2-default Nix CI for bundle 8.17 #523: Commit 99e1b96 pushed by proux01
August 20, 2024 12:09 28m 23s master
master
August 20, 2024 12:09 28m 23s
Add MenhirLib & use it in CompCert Nix CI for bundle 8.17 #522: Pull request #249 opened by vbgl
August 20, 2024 08:30 3h 16m 3s vbgl:MenhirLib-nit
vbgl:MenhirLib-nit
August 20, 2024 08:30 3h 16m 3s
Add MenhirLib & use it in CompCert Nix CI for bundle 8.17 #521: Pull request #249 opened by vbgl
August 20, 2024 08:30 3h 11m 5s
August 20, 2024 08:30 3h 11m 5s
mathcomp: 1 -> 2 Nix CI for bundle 8.17 #520: Pull request #241 synchronize by proux01
August 20, 2024 08:07 3h 36m 28s proux01:mc2-default
proux01:mc2-default
August 20, 2024 08:07 3h 36m 28s
mathcomp: 1 -> 2 Nix CI for bundle 8.17 #519: Pull request #241 synchronize by proux01
August 20, 2024 08:07 3h 30m 33s
August 20, 2024 08:07 3h 30m 33s
interval: 4.10.0 → 4.11.0 (#247) Nix CI for bundle 8.17 #518: Commit 71ce950 pushed by vbgl
August 14, 2024 11:53 29m 19s master
master
August 14, 2024 11:53 29m 19s
interval: 4.10.0 → 4.11.0 Nix CI for bundle 8.17 #517: Pull request #247 synchronize by vbgl
August 14, 2024 08:44 57m 20s
August 14, 2024 08:44 57m 20s
coqPackages.atbr: init at 8.20.0 Nix CI for bundle 8.17 #516: Pull request #248 opened by proux01
August 7, 2024 15:39 28m 25s
August 7, 2024 15:39 28m 25s
Test coinduction (#246) Nix CI for bundle 8.17 #515: Commit 208d8cd pushed by vbgl
August 7, 2024 14:29 32m 55s master
master
August 7, 2024 14:29 32m 55s
Test coinduction Nix CI for bundle 8.17 #514: Pull request #246 synchronize by vbgl
August 7, 2024 13:54 32m 23s
August 7, 2024 13:54 32m 23s
interval: 4.10.0 → 4.11.0 Nix CI for bundle 8.17 #513: Pull request #247 opened by vbgl
August 7, 2024 11:32 56m 32s
August 7, 2024 11:32 56m 32s
Test stalmarck (#245) Nix CI for bundle 8.17 #512: Commit 0c39448 pushed by vbgl
August 7, 2024 11:27 55m 55s master
master
August 7, 2024 11:27 55m 55s
Test stalmarck Nix CI for bundle 8.17 #511: Pull request #245 synchronize by vbgl
August 7, 2024 10:20 30m 48s
August 7, 2024 10:20 30m 48s