Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle coq-8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-8.20.yml
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not add a mixin-src when there is already one declared Nix CI for bundle coq-8.20 #177: Pull request #522 synchronize by Tragicus
March 5, 2025 14:24 41m 44s
March 5, 2025 14:24 41m 44s
Do not add a mixin-src when there is already one declared Nix CI for bundle coq-8.20 #176: Pull request #522 opened by Tragicus
March 5, 2025 14:12 52m 40s
March 5, 2025 14:12 52m 40s
mixin-instance-type->mixin-src does not use the typing information Nix CI for bundle coq-8.20 #175: Pull request #521 synchronize by Tragicus
March 5, 2025 10:16 1h 55m 4s
March 5, 2025 10:16 1h 55m 4s
mixin-instance-type->mixin-src does not use the typing information Nix CI for bundle coq-8.20 #174: Pull request #521 synchronize by Tragicus
March 5, 2025 09:38 1h 58m 23s
March 5, 2025 09:38 1h 58m 23s
mixin-instance-type->mixin-src does not use the typing information Nix CI for bundle coq-8.20 #173: Pull request #521 synchronize by Tragicus
March 5, 2025 09:37 5m 12s
March 5, 2025 09:37 5m 12s
mixin-instance-type->mixin-src does not use the typing information Nix CI for bundle coq-8.20 #172: Pull request #521 synchronize by Tragicus
March 5, 2025 09:24 7m 27s
March 5, 2025 09:24 7m 27s
mixin-instance-type->mixin-src does not use the typing information Nix CI for bundle coq-8.20 #171: Pull request #521 opened by Tragicus
March 4, 2025 15:44 2m 44s
March 4, 2025 15:44 2m 44s
Merge pull request #519 from proux01/opam Nix CI for bundle coq-8.20 #170: Commit 7b41a5d pushed by proux01
February 25, 2025 16:04 1h 12m 32s master
master
February 25, 2025 16:04 1h 12m 32s
Backport package from opam repo Nix CI for bundle coq-8.20 #169: Pull request #519 opened by proux01
February 25, 2025 15:55 1m 0s
February 25, 2025 15:55 1m 0s
Merge pull request #518 from proux01/ci-update Nix CI for bundle coq-8.20 #168: Commit 25841f5 pushed by proux01
February 25, 2025 15:52 11m 46s master
master
February 25, 2025 15:52 11m 46s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #167: Pull request #518 synchronize by proux01
February 25, 2025 15:51 1m 16s
February 25, 2025 15:51 1m 16s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #166: Pull request #518 synchronize by proux01
February 25, 2025 15:51 1m 20s proux01:ci-update
proux01:ci-update
February 25, 2025 15:51 1m 20s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #165: Pull request #518 synchronize by proux01
February 25, 2025 13:42 1h 27m 6s proux01:ci-update
proux01:ci-update
February 25, 2025 13:42 1h 27m 6s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #164: Pull request #518 synchronize by proux01
February 25, 2025 13:42 1h 29m 53s
February 25, 2025 13:42 1h 29m 53s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #163: Pull request #518 opened by proux01
February 25, 2025 12:03 1h 33m 59s proux01:ci-update
proux01:ci-update
February 25, 2025 12:03 1h 33m 59s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #162: Pull request #518 opened by proux01
February 25, 2025 12:03 1h 34m 19s
February 25, 2025 12:03 1h 34m 19s
Merge pull request #516 from proux01/ci-update Nix CI for bundle coq-8.20 #161: Commit 7a1cc91 pushed by proux01
February 22, 2025 10:35 23m 43s master
master
February 22, 2025 10:35 23m 43s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #160: Pull request #516 synchronize by proux01
February 21, 2025 18:30 1h 20m 25s proux01:ci-update
proux01:ci-update
February 21, 2025 18:30 1h 20m 25s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #159: Pull request #516 synchronize by proux01
February 21, 2025 18:30 1h 22m 9s
February 21, 2025 18:30 1h 22m 9s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #158: Pull request #516 synchronize by proux01
February 21, 2025 08:47 1h 50m 47s proux01:ci-update
proux01:ci-update
February 21, 2025 08:47 1h 50m 47s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #157: Pull request #516 synchronize by proux01
February 21, 2025 08:47 1h 48m 22s
February 21, 2025 08:47 1h 48m 22s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #156: Pull request #516 synchronize by proux01
February 19, 2025 08:56 2m 47s proux01:ci-update
proux01:ci-update
February 19, 2025 08:56 2m 47s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #155: Pull request #516 synchronize by proux01
February 19, 2025 08:56 3m 12s
February 19, 2025 08:56 3m 12s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #154: Pull request #516 synchronize by proux01
February 18, 2025 19:50 2h 57m 10s proux01:ci-update
proux01:ci-update
February 18, 2025 19:50 2h 57m 10s
[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #153: Pull request #516 synchronize by proux01
February 18, 2025 19:50 3h 1m 47s
February 18, 2025 19:50 3h 1m 47s