Skip to content

Actions: coq-community/fourcolor

Nix CI for bundle 8.18+2.0

Actions

Loading...
Loading

Show workflow options

Create status badge

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