Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.18.yml
642 workflow runs
642 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

paco 4.2.2 Nix CI for bundle 8.18 #667: Pull request #274 synchronize by vbgl
January 14, 2025 13:21 47m 7s
January 14, 2025 13:21 47m 7s
paco 4.2.2 Nix CI for bundle 8.18 #666: Pull request #274 synchronize by vbgl
January 14, 2025 12:40 59m 49s
January 14, 2025 12:40 59m 49s
elpi 2.0.7 (#308) Nix CI for bundle 8.18 #665: Commit 15528c3 pushed by vbgl
January 14, 2025 12:38 56m 55s master
master
January 14, 2025 12:38 56m 55s
elpi 2.0.7 Nix CI for bundle 8.18 #664: Pull request #308 synchronize by vbgl
January 14, 2025 11:57 36m 57s
January 14, 2025 11:57 36m 57s
elpi 2.0.7 Nix CI for bundle 8.18 #663: Pull request #308 opened by vbgl
January 14, 2025 10:44 35m 7s
January 14, 2025 10:44 35m 7s
Merge pull request #292 from coq-community/mathcomp-2.3.0 Nix CI for bundle 8.18 #662: Commit 98bf866 pushed by proux01
January 8, 2025 13:30 34m 46s master
master
January 8, 2025 13:30 34m 46s
mathcomp 2.3.0 Nix CI for bundle 8.18 #661: Pull request #292 synchronize by proux01
January 8, 2025 12:13 1h 2m 20s
January 8, 2025 12:13 1h 2m 20s
mathcomp 2.3.0 Nix CI for bundle 8.18 #660: Pull request #292 synchronize by proux01
January 8, 2025 12:13 1h 6m 38s mathcomp-2.3.0
mathcomp-2.3.0
January 8, 2025 12:13 1h 6m 38s
mathcomp 2.3.0 Nix CI for bundle 8.18 #659: Pull request #292 synchronize by proux01
January 6, 2025 15:30 2h 7m 4s mathcomp-2.3.0
mathcomp-2.3.0
January 6, 2025 15:30 2h 7m 4s
mathcomp 2.3.0 Nix CI for bundle 8.18 #658: Pull request #292 synchronize by proux01
January 6, 2025 15:30 2h 2m 24s
January 6, 2025 15:30 2h 2m 24s
Merge pull request #307 from proux01/fix_smtcoq Nix CI for bundle 8.18 #657: Commit 6e2c2fd pushed by proux01
January 6, 2025 15:28 1h 50m 6s master
master
January 6, 2025 15:28 1h 50m 6s
coqPackages.smtcoq: fix Nix CI for bundle 8.18 #656: Pull request #307 synchronize by proux01
January 6, 2025 11:54 3h 16m 0s proux01:fix_smtcoq
proux01:fix_smtcoq
January 6, 2025 11:54 3h 16m 0s
coqPackages.smtcoq: fix Nix CI for bundle 8.18 #655: Pull request #307 synchronize by proux01
January 6, 2025 11:54 3h 14m 37s
January 6, 2025 11:54 3h 14m 37s
coqPackages.smtcoq: fix Nix CI for bundle 8.18 #654: Pull request #307 opened by proux01
December 29, 2024 19:26 28m 34s
December 29, 2024 19:26 28m 34s
mathcomp 2.3.0 Nix CI for bundle 8.18 #653: Pull request #292 synchronize by proux01
December 27, 2024 12:36 1h 7m 47s mathcomp-2.3.0
mathcomp-2.3.0
December 27, 2024 12:36 1h 7m 47s
mathcomp 2.3.0 Nix CI for bundle 8.18 #652: Pull request #292 synchronize by proux01
December 27, 2024 12:36 1h 8m 36s
December 27, 2024 12:36 1h 8m 36s
mathcomp 2.3.0 Nix CI for bundle 8.18 #651: Pull request #292 synchronize by proux01
December 27, 2024 11:14 1h 4m 47s mathcomp-2.3.0
mathcomp-2.3.0
December 27, 2024 11:14 1h 4m 47s
mathcomp 2.3.0 Nix CI for bundle 8.18 #650: Pull request #292 synchronize by proux01
December 27, 2024 11:14 1h 6m 27s
December 27, 2024 11:14 1h 6m 27s
mathcomp 2.3.0 Nix CI for bundle 8.18 #649: Pull request #292 synchronize by proux01
December 26, 2024 16:24 1h 56m 31s mathcomp-2.3.0
mathcomp-2.3.0
December 26, 2024 16:24 1h 56m 31s
mathcomp 2.3.0 Nix CI for bundle 8.18 #648: Pull request #292 synchronize by proux01
December 26, 2024 16:24 1h 57m 54s
December 26, 2024 16:24 1h 57m 54s
Testing mathcomp 2.3.0 Nix CI for bundle 8.18 #647: Pull request #306 opened by proux01
December 26, 2024 16:23 1h 41m 39s
December 26, 2024 16:23 1h 41m 39s
Test coq: keep compiling master Nix CI for bundle 8.18 #646: Pull request #305 synchronize by proux01
December 25, 2024 16:38 3h 17m 7s proux01:rocq-master
proux01:rocq-master
December 25, 2024 16:38 3h 17m 7s
Test coq: keep compiling master Nix CI for bundle 8.18 #645: Pull request #305 synchronize by proux01
December 25, 2024 16:38 3h 13m 18s
December 25, 2024 16:38 3h 13m 18s
Fix support of withEmacs. Nix CI for bundle 8.18 #644: Commit 993df98 pushed by Zimmi48
December 25, 2024 11:44 25m 51s master
master
December 25, 2024 11:44 25m 51s
Test coq: keep compiling master Nix CI for bundle 8.18 #643: Pull request #305 opened by proux01
December 21, 2024 12:23 1h 32m 29s
December 21, 2024 12:23 1h 32m 29s