Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-master.yml
536 workflow runs
536 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Testing mathcomp 2.3.0 Nix CI for bundle master #1042: Pull request #292 synchronize by proux01
January 6, 2025 15:30 10m 28s
January 6, 2025 15:30 10m 28s
Merge pull request #307 from proux01/fix_smtcoq Nix CI for bundle master #1041: Commit 6e2c2fd pushed by proux01
January 6, 2025 15:28 8m 5s master
master
January 6, 2025 15:28 8m 5s
coqPackages.smtcoq: fix Nix CI for bundle master #1040: Pull request #307 synchronize by proux01
January 6, 2025 11:54 15m 39s
January 6, 2025 11:54 15m 39s
coqPackages.smtcoq: fix Nix CI for bundle master #1039: Pull request #307 opened by proux01
December 29, 2024 19:26 6m 33s
December 29, 2024 19:26 6m 33s
Testing mathcomp 2.3.0 Nix CI for bundle master #1038: Pull request #292 synchronize by proux01
December 27, 2024 12:36 3m 52s
December 27, 2024 12:36 3m 52s
Testing mathcomp 2.3.0 Nix CI for bundle master #1037: Pull request #292 synchronize by proux01
December 27, 2024 11:14 2m 32s
December 27, 2024 11:14 2m 32s
Testing mathcomp 2.3.0 Nix CI for bundle master #1036: Pull request #292 synchronize by proux01
December 26, 2024 16:24 18m 28s
December 26, 2024 16:24 18m 28s
Testing mathcomp 2.3.0 Nix CI for bundle master #1035: Pull request #306 opened by proux01
December 26, 2024 16:23 8m 47s
December 26, 2024 16:23 8m 47s
Test coq: keep compiling master Nix CI for bundle master #1034: Pull request #305 synchronize by proux01
December 25, 2024 16:38 17m 55s
December 25, 2024 16:38 17m 55s
Fix support of withEmacs. Nix CI for bundle master #1033: Commit 993df98 pushed by Zimmi48
December 25, 2024 11:44 1m 6s master
master
December 25, 2024 11:44 1m 6s
Test coq: keep compiling master Nix CI for bundle master #1032: Pull request #305 opened by proux01
December 21, 2024 12:23 13m 22s
December 21, 2024 12:23 13m 22s
Merge pull request #302 from proux01/elpi206 Nix CI for bundle master #1031: Commit fb3515f pushed by proux01
December 21, 2024 12:22 4m 22s master
master
December 21, 2024 12:22 4m 22s
Merge pull request #304 from proux01/rocq-master Nix CI for bundle master #1030: Commit 914afee pushed by proux01
December 21, 2024 12:17 2m 32s master
master
December 21, 2024 12:17 2m 32s
Test coq: keep compiling master Nix CI for bundle master #1029: Pull request #304 synchronize by proux01
December 20, 2024 17:53 4m 23s
December 20, 2024 17:53 4m 23s
Test coq: keep compiling master Nix CI for bundle master #1028: Pull request #304 opened by proux01
December 20, 2024 17:12 4m 59s
December 20, 2024 17:12 4m 59s
Testing HB 1.8.0 Nix CI for bundle master #1027: Pull request #303 opened by CohenCyril
December 18, 2024 17:28 1m 24s
December 18, 2024 17:28 1m 24s
Testing HB 1.8.0 Nix CI for bundle master #1026: Pull request #303 opened by CohenCyril
December 18, 2024 17:28 1m 26s CohenCyril:hb-1.8.0
CohenCyril:hb-1.8.0
December 18, 2024 17:28 1m 26s
Merge pull request #302 from proux01/elpi206 Nix CI for bundle master #1025: Commit fb3515f pushed by proux01
December 16, 2024 10:43 7m 7s master
master
December 16, 2024 10:43 7m 7s
ocamlPackages.elpi: 2.0.5 -> 2.0.6 Nix CI for bundle master #1024: Pull request #302 synchronize by proux01
December 16, 2024 08:27 5m 56s
December 16, 2024 08:27 5m 56s
ocamlPackages.elpi: 2.0.5 -> 2.0.6 Nix CI for bundle master #1023: Pull request #302 synchronize by proux01
December 13, 2024 16:39 4m 46s
December 13, 2024 16:39 4m 46s
ocamlPackages.elpi: 2.0.5 -> 2.0.6 Nix CI for bundle master #1022: Pull request #302 opened by proux01
December 13, 2024 15:23 3m 55s
December 13, 2024 15:23 3m 55s
CompCert 3.15 Nix CI for bundle master #1021: Pull request #301 synchronize by vbgl
December 13, 2024 14:23 2m 51s
December 13, 2024 14:23 2m 51s
CompCert 3.15 Nix CI for bundle master #1020: Pull request #301 opened by vbgl
December 13, 2024 12:52 6m 10s vbgl:compcert-3.15
vbgl:compcert-3.15
December 13, 2024 12:52 6m 10s
CompCert 3.15 Nix CI for bundle master #1019: Pull request #301 opened by vbgl
December 13, 2024 12:52 5m 20s
December 13, 2024 12:52 5m 20s
Merge pull request #300 from coq-community/stdlib-test Nix CI for bundle master #1018: Commit 1a48a58 pushed by proux01
December 13, 2024 12:37 3m 16s master
master
December 13, 2024 12:37 3m 16s