Skip to content

Actions: coq-community/fourcolor

Actions

Nix CI for bundle 8.17+2.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17+2.0.yml
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Another way to adapt to math-comp#1300 Nix CI for bundle 8.17+2.0 #37: Pull request #66 synchronize by CohenCyril
December 9, 2024 15:43 20m 30s
December 9, 2024 15:43 20m 30s
Another way to adapt to math-comp#1300 Nix CI for bundle 8.17+2.0 #36: Pull request #66 opened by CohenCyril
December 9, 2024 15:41 32m 11s
December 9, 2024 15:41 32m 11s
Adapt to mc#1300 Nix CI for bundle 8.17+2.0 #35: Pull request #65 opened by Tragicus
November 27, 2024 16:18 31m 29s
November 27, 2024 16:18 31m 29s
modify meta.yml and generate README.md for new building instructions Nix CI for bundle 8.17+2.0 #34: Commit 1739214 pushed by ybertot
November 14, 2024 15:28 2m 26s master
master
November 14, 2024 15:28 2m 26s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.17+2.0 #33: Pull request #64 synchronize by palmskog
November 14, 2024 13:00 19m 42s
November 14, 2024 13:00 19m 42s
Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor Nix CI for bundle 8.17+2.0 #32: Pull request #64 opened by palmskog
November 6, 2024 08:53 29m 43s
November 6, 2024 08:53 29m 43s
Merge pull request #62 from Tragicus/pr1256 Nix CI for bundle 8.17+2.0 #31: Commit c028f9b pushed by Tragicus
August 6, 2024 08:14 2m 57s master
master
August 6, 2024 08:14 2m 57s
adapt to MC#1256 Nix CI for bundle 8.17+2.0 #30: Pull request #62 opened by Tragicus
August 5, 2024 11:48 20m 17s
August 5, 2024 11:48 20m 17s
Merge pull request #61 from coq-community/ci-weekly Nix CI for bundle 8.17+2.0 #29: Commit 1efde3a pushed by palmskog
July 24, 2024 12:13 3m 1s master
master
July 24, 2024 12:13 3m 1s
switch Docker CI cron to weekly, explicit dependency on HB Nix CI for bundle 8.17+2.0 #28: Pull request #61 opened by palmskog
July 24, 2024 11:44 19m 46s
July 24, 2024 11:44 19m 46s
Merge pull request #60 from coq-community/add-hal-paper Nix CI for bundle 8.17+2.0 #27: Commit c9429eb pushed by palmskog
July 2, 2024 22:26 2m 3s master
master
July 2, 2024 22:26 2m 3s
add HAL paper in meta.yml and README.md Nix CI for bundle 8.17+2.0 #26: Pull request #60 opened by palmskog
July 2, 2024 21:41 19m 6s
July 2, 2024 21:41 19m 6s
Merge pull request #59 from coq-community/deprecation-Qint Nix CI for bundle 8.17+2.0 #25: Commit 250cd38 pushed by pi8027
July 2, 2024 14:06 2m 9s master
master
July 2, 2024 14:06 2m 9s
Treat a deprecation warning about Qint Nix CI for bundle 8.17+2.0 #24: Pull request #59 synchronize by pi8027
July 2, 2024 12:48 19m 17s
July 2, 2024 12:48 19m 17s
Treat a deprecation warning about Qint Nix CI for bundle 8.17+2.0 #23: Pull request #59 synchronize by pi8027
July 2, 2024 12:23 19m 5s
July 2, 2024 12:23 19m 5s
Treat a deprecation warning about Qint Nix CI for bundle 8.17+2.0 #22: Pull request #59 opened by pi8027
July 2, 2024 11:59 19m 35s
July 2, 2024 11:59 19m 35s
Merge pull request #58 from coq-community/mc_1223 Nix CI for bundle 8.17+2.0 #21: Commit 027788b pushed by proux01
June 29, 2024 10:55 7m 18s master
master
June 29, 2024 10:55 7m 18s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle 8.17+2.0 #20: Pull request #58 opened by proux01
June 28, 2024 07:29 35m 12s
June 28, 2024 07:29 35m 12s
Adapt to Coq PR #18591: better refolding of addn induces now useless addnE Nix CI for bundle 8.17+2.0 #19: Pull request #57 opened by herbelin
June 19, 2024 13:25 23s
June 19, 2024 13:25 23s
Merge pull request #56 from coq-community/remove-mathcomp-dev-8.17-do… Nix CI for bundle 8.17+2.0 #18: Commit 91ff6b8 pushed by palmskog
April 29, 2024 07:58 2m 5s master
master
April 29, 2024 07:58 2m 5s
remove mathcomp-dev-coq-8.17 Docker job Nix CI for bundle 8.17+2.0 #17: Pull request #56 opened by palmskog
April 29, 2024 07:33 19m 32s
April 29, 2024 07:33 19m 32s
Merge pull request #55 from coq-community/mc_1190 Nix CI for bundle 8.17+2.0 #16: Commit 0ee53c3 pushed by pi8027
March 28, 2024 16:35 2m 8s master
master
March 28, 2024 16:35 2m 8s
Adapt to math-comp/math-comp#1190 Nix CI for bundle 8.17+2.0 #15: Pull request #55 synchronize by pi8027
March 28, 2024 15:14 20m 27s
March 28, 2024 15:14 20m 27s
Adapt to math-comp/math-comp#1190 Nix CI for bundle 8.17+2.0 #14: Pull request #55 opened by pi8027
March 28, 2024 15:06 32m 35s
March 28, 2024 15:06 32m 35s
Merge pull request #54 from coq-community/ci_mc_2_1_0 Nix CI for bundle 8.17+2.0 #13: Commit 43719c0 pushed by proux01
October 26, 2023 13:44 9m 51s master
master
October 26, 2023 13:44 9m 51s