Skip to content

Actions: coq-community/fourcolor

Actions

Nix CI for bundle 8.16+2.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.16+2.0.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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