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

simple-io 1.1.0 & QuickChick 2.0.4 Nix CI for bundle 8.17 #585: Pull request #263 synchronize by vbgl
September 18, 2024 10:52 40m 7s
September 18, 2024 10:52 40m 7s
Update README.md Nix CI for bundle 8.17 #584: Commit 24e96b4 pushed by CohenCyril
September 18, 2024 09:46 19m 58s master
master
September 18, 2024 09:46 19m 58s
simple-io 1.1.0 & QuickChick 2.0.4 Nix CI for bundle 8.17 #583: Pull request #263 opened by vbgl
September 18, 2024 07:41 29m 48s
September 18, 2024 07:41 29m 48s
Merge pull request #262 from proux01/mtac2 Nix CI for bundle 8.17 #582: Commit 4121bc8 pushed by proux01
September 16, 2024 09:55 24m 43s master
master
September 16, 2024 09:55 24m 43s
coqPackages.mtac2: init at 1.4-coq8.19 Nix CI for bundle 8.17 #581: Pull request #262 synchronize by proux01
September 16, 2024 08:54 30m 33s
September 16, 2024 08:54 30m 33s
Merge pull request #261 from coq-community/hb-install Nix CI for bundle 8.17 #580: Commit aa6e9a7 pushed by proux01
September 14, 2024 10:17 33m 10s master
master
September 14, 2024 10:17 33m 10s
coqPackages.mtac2: init at 1.4-coq8.19 Nix CI for bundle 8.17 #579: Pull request #262 opened by proux01
September 13, 2024 14:33 1h 24m 56s
September 13, 2024 14:33 1h 24m 56s
Test https://github.com/NixOS/nixpkgs/pull/341171 Nix CI for bundle 8.17 #578: Pull request #261 synchronize by proux01
September 13, 2024 14:28 1h 25m 56s
September 13, 2024 14:28 1h 25m 56s
ssprove 0.2.1 (#260) Nix CI for bundle 8.17 #577: Commit 85fe717 pushed by vbgl
September 11, 2024 12:58 21m 28s master
master
September 11, 2024 12:58 21m 28s
ssprove 0.2.1 Nix CI for bundle 8.17 #576: Pull request #260 synchronize by vbgl
September 11, 2024 11:22 54m 28s
September 11, 2024 11:22 54m 28s
Test https://github.com/NixOS/nixpkgs/pull/341171 Nix CI for bundle 8.17 #575: Pull request #261 opened by proux01
September 11, 2024 10:42 1h 52m 50s
September 11, 2024 10:42 1h 52m 50s
ssprove 0.2.1 Nix CI for bundle 8.17 #574: Pull request #260 opened by vbgl
September 11, 2024 09:58 46m 27s
September 11, 2024 09:58 46m 27s
gappalib for Coq 8.20 Nix CI for bundle 8.17 #573: Commit a9f1e05 pushed by vbgl
September 11, 2024 09:52 49m 33s master
master
September 11, 2024 09:52 49m 33s
gappalib, itauto & serapi for Coq 8.20 Nix CI for bundle 8.17 #572: Pull request #258 synchronize by vbgl
September 11, 2024 08:27 50m 24s
September 11, 2024 08:27 50m 24s
MetaCoq for Coq 8.20 Nix CI for bundle 8.17 #571: Commit ca1f139 pushed by vbgl
September 11, 2024 08:19 55m 4s master
master
September 11, 2024 08:19 55m 4s
ElmExtraction Nix CI for bundle 8.17 #570: Pull request #259 synchronize by vbgl
September 11, 2024 04:43 2h 5m 30s vbgl:ElmExtraction
vbgl:ElmExtraction
September 11, 2024 04:43 2h 5m 30s
ElmExtraction Nix CI for bundle 8.17 #569: Pull request #259 synchronize by vbgl
September 11, 2024 04:43 2h 4m 37s
September 11, 2024 04:43 2h 4m 37s
ElmExtraction Nix CI for bundle 8.17 #568: Pull request #259 synchronize by vbgl
September 11, 2024 03:57 2h 43m 47s vbgl:ElmExtraction
vbgl:ElmExtraction
September 11, 2024 03:57 2h 43m 47s
ElmExtraction Nix CI for bundle 8.17 #567: Pull request #259 synchronize by vbgl
September 11, 2024 03:56 2h 43m 34s
September 11, 2024 03:56 2h 43m 34s
ElmExtraction Nix CI for bundle 8.17 #566: Pull request #259 opened by vbgl
September 10, 2024 17:51 2h 28m 38s vbgl:ElmExtraction
vbgl:ElmExtraction
September 10, 2024 17:51 2h 28m 38s
ElmExtraction Nix CI for bundle 8.17 #565: Pull request #259 opened by vbgl
September 10, 2024 17:51 2h 26m 48s
September 10, 2024 17:51 2h 26m 48s
gappalib, itauto & serapi for Coq 8.20 Nix CI for bundle 8.17 #564: Pull request #258 synchronize by vbgl
September 9, 2024 05:55 39m 33s
September 9, 2024 05:55 39m 33s
gappalib, itauto & serapi for Coq 8.20 Nix CI for bundle 8.17 #563: Pull request #258 synchronize by vbgl
September 9, 2024 05:27 1h 0m 45s
September 9, 2024 05:27 1h 0m 45s
gappalib, itauto & serapi for Coq 8.20 Nix CI for bundle 8.17 #562: Pull request #258 synchronize by vbgl
September 9, 2024 05:15 1h 2m 32s
September 9, 2024 05:15 1h 2m 32s
gappalib, itauto & serapi for Coq 8.20 Nix CI for bundle 8.17 #561: Pull request #258 opened by vbgl
September 9, 2024 04:57 44m 29s
September 9, 2024 04:57 44m 29s