Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle coq-8.19

Actions

Loading...

Show workflow options

Create status badge

nix-action-coq-8.19.yml
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Add Coq 8.20 Nix CI for bundle coq-8.19 #91: Pull request #439 synchronize by proux01
August 26, 2024 15:02 2h 20m 31s proux01:ci-820
proux01:ci-820
August 26, 2024 15:02 2h 20m 31s
[CI] Add Coq 8.20 Nix CI for bundle coq-8.19 #90: Pull request #439 synchronize by proux01
August 26, 2024 15:02 1h 57m 16s
August 26, 2024 15:02 1h 57m 16s
[CI] Add Coq 8.20 Nix CI for bundle coq-8.19 #89: Pull request #439 opened by proux01
August 26, 2024 14:44 2h 9m 7s proux01:ci-820
proux01:ci-820
August 26, 2024 14:44 2h 9m 7s
[CI] Add Coq 8.20 Nix CI for bundle coq-8.19 #88: Pull request #439 opened by proux01
August 26, 2024 14:44 2h 5m 59s
August 26, 2024 14:44 2h 5m 59s
Merge pull request #437 from Tvallejos/doc-how-to-mathcomp Nix CI for bundle coq-8.19 #87: Commit 1c6f7e1 pushed by gares
July 26, 2024 07:56 21m 37s master
master
July 26, 2024 07:56 21m 37s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances Nix CI for bundle coq-8.19 #86: Pull request #437 reopened by gares
July 26, 2024 07:56 21m 27s
July 26, 2024 07:56 21m 27s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances Nix CI for bundle coq-8.19 #85: Pull request #437 synchronize by Tvallejos
July 24, 2024 15:41 44m 27s
July 24, 2024 15:41 44m 27s
at the end of HB.howto output, it suggests a link to a guide on how to declare mathcomp instances Nix CI for bundle coq-8.19 #84: Pull request #437 opened by Tvallejos
July 23, 2024 14:07 50m 44s
July 23, 2024 14:07 50m 44s
Merge pull request #433 from math-comp/gares-patch-1 Nix CI for bundle coq-8.19 #83: Commit 5f37676 pushed by gares
July 3, 2024 21:51 19m 18s master
master
July 3, 2024 21:51 19m 18s
make copy-pack-holes failsafe Nix CI for bundle coq-8.19 #82: Pull request #433 opened by gares
July 3, 2024 15:07 46m 42s
July 3, 2024 15:07 46m 42s
Generalized coercions Nix CI for bundle coq-8.19 #81: Pull request #420 synchronize by Tragicus
June 27, 2024 15:21 1h 53m 29s
June 27, 2024 15:21 1h 53m 29s
Merge pull request #414 from math-comp/saturate-filter Nix CI for bundle coq-8.19 #80: Commit 8a72aef pushed by CohenCyril
June 27, 2024 14:55 1h 30m 26s master
master
June 27, 2024 14:55 1h 30m 26s
Generalized coercions Nix CI for bundle coq-8.19 #79: Pull request #420 synchronize by Tragicus
June 27, 2024 10:57 1h 50m 24s
June 27, 2024 10:57 1h 50m 24s
Generalized coercions Nix CI for bundle coq-8.19 #78: Pull request #420 synchronize by Tragicus
June 27, 2024 10:55 1h 46m 19s
June 27, 2024 10:55 1h 46m 19s
Update nix (#424) Nix CI for bundle coq-8.19 #77: Commit e4bbc38 pushed by CohenCyril
June 27, 2024 08:36 1h 6m 7s master
master
June 27, 2024 08:36 1h 6m 7s
Generalized coercions Nix CI for bundle coq-8.19 #76: Pull request #420 synchronize by Tragicus
June 27, 2024 08:12 1h 39m 43s
June 27, 2024 08:12 1h 39m 43s
Generalized coercions Nix CI for bundle coq-8.19 #75: Pull request #420 synchronize by Tragicus
June 24, 2024 15:32 1h 22m 29s
June 24, 2024 15:32 1h 22m 29s
fix #386 Nix CI for bundle coq-8.19 #74: Pull request #423 synchronize by gares
June 19, 2024 08:24 6m 7s
June 19, 2024 08:24 6m 7s
Merge pull request #426 from affeldt-aist/typo_20240618 Nix CI for bundle coq-8.19 #73: Commit 226780f pushed by gares
June 18, 2024 16:14 19m 19s master
master
June 18, 2024 16:14 19m 19s
Fix test failure Nix CI for bundle coq-8.19 #72: Pull request #427 opened by proux01
June 18, 2024 14:43 19m 27s
June 18, 2024 14:43 19m 27s
fix #386 Nix CI for bundle coq-8.19 #71: Pull request #423 synchronize by gares
June 18, 2024 14:13 6m 21s
June 18, 2024 14:13 6m 21s
typo addd in tests Nix CI for bundle coq-8.19 #70: Pull request #426 synchronize by affeldt-aist
June 18, 2024 09:52 45m 41s
June 18, 2024 09:52 45m 41s
typo addd in tests Nix CI for bundle coq-8.19 #69: Pull request #426 synchronize by affeldt-aist
June 18, 2024 09:52 45m 31s
June 18, 2024 09:52 45m 31s
typo addd in tests Nix CI for bundle coq-8.19 #68: Pull request #426 opened by affeldt-aist
June 18, 2024 04:36 45m 56s
June 18, 2024 04:36 45m 56s
Merge pull request #425 from affeldt-aist/typo_20240617 Nix CI for bundle coq-8.19 #67: Commit 5132db8 pushed by gares
June 17, 2024 16:33 48m 34s master
master
June 17, 2024 16:33 48m 34s