Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle coq-8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-8.18.yml
30 workflow run results
30 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

saturate instances on structure declaration Nix CI for bundle coq-8.18 #58: Pull request #334 synchronize by gares
October 5, 2023 20:44 7m 35s
October 5, 2023 20:44 7m 35s
saturate instances on structure declaration Nix CI for bundle coq-8.18 #57: Pull request #334 synchronize by gares
October 5, 2023 20:12 7m 48s
October 5, 2023 20:12 7m 48s
saturate instances on structure declaration Nix CI for bundle coq-8.18 #56: Pull request #334 synchronize by gares
October 5, 2023 20:09 8m 6s
October 5, 2023 20:09 8m 6s
[refactor] instance declaration Nix CI for bundle coq-8.18 #55: Pull request #376 synchronize by gares
October 5, 2023 19:56 6m 48s
October 5, 2023 19:56 6m 48s
saturate instances on structure declaration Nix CI for bundle coq-8.18 #54: Pull request #334 synchronize by gares
October 5, 2023 08:06 8m 1s
October 5, 2023 08:06 8m 1s
saturate instances on structure declaration Nix CI for bundle coq-8.18 #53: Pull request #334 synchronize by gares
October 5, 2023 06:26 7m 2s
October 5, 2023 06:26 7m 2s
saturate instances on structure declaration Nix CI for bundle coq-8.18 #52: Pull request #334 synchronize by gares
October 5, 2023 06:15 7m 49s
October 5, 2023 06:15 7m 49s
[demo] Instance before structure+refactor instance Nix CI for bundle coq-8.18 #51: Pull request #393 opened by gares
October 4, 2023 20:39 1m 5s
October 4, 2023 20:39 1m 5s
[refactor] instance declaration Nix CI for bundle coq-8.18 #50: Pull request #376 synchronize by ptorrx
October 4, 2023 18:27 1m 0s
October 4, 2023 18:27 1m 0s
[refactor] instance declaration Nix CI for bundle coq-8.18 #49: Pull request #376 synchronize by gares
October 4, 2023 08:53 1m 0s
October 4, 2023 08:53 1m 0s
[refactor] instance declaration Nix CI for bundle coq-8.18 #48: Pull request #376 synchronize by ptorrx
October 4, 2023 08:48 1m 10s
October 4, 2023 08:48 1m 10s
[refactor] instance declaration Nix CI for bundle coq-8.18 #47: Pull request #376 synchronize by ptorrx
October 4, 2023 08:20 58s
October 4, 2023 08:20 58s
[refactor] instance declaration Nix CI for bundle coq-8.18 #46: Pull request #376 synchronize by gares
October 4, 2023 06:46 59s
October 4, 2023 06:46 59s
[refactor] instance declaration Nix CI for bundle coq-8.18 #45: Pull request #376 synchronize by gares
October 4, 2023 06:27 53s
October 4, 2023 06:27 53s
[refactor] instance declaration Nix CI for bundle coq-8.18 #44: Pull request #376 synchronize by gares
October 4, 2023 06:13 57s
October 4, 2023 06:13 57s
[refactor] instance declaration Nix CI for bundle coq-8.18 #43: Pull request #376 synchronize by ptorrx
October 3, 2023 19:36 1m 3s
October 3, 2023 19:36 1m 3s
[refactor] instance declaration Nix CI for bundle coq-8.18 #42: Pull request #376 synchronize by ptorrx
October 3, 2023 17:53 56s
October 3, 2023 17:53 56s
[refactor] instance declaration Nix CI for bundle coq-8.18 #41: Pull request #376 synchronize by ptorrx
October 3, 2023 13:25 58s
October 3, 2023 13:25 58s
[refactor] instance declaration Nix CI for bundle coq-8.18 #40: Pull request #376 synchronize by ptorrx
October 3, 2023 11:36 1m 3s
October 3, 2023 11:36 1m 3s
[refactor] instance declaration Nix CI for bundle coq-8.18 #39: Pull request #376 synchronize by ptorrx
October 3, 2023 09:44 45s
October 3, 2023 09:44 45s
[refactor] instance declaration Nix CI for bundle coq-8.18 #38: Pull request #376 synchronize by ptorrx
October 3, 2023 09:20 2m 32s
October 3, 2023 09:20 2m 32s
Merge pull request #391 from proux01/primitive_class_default Nix CI for bundle coq-8.18 #37: Commit 7d4f095 pushed by CohenCyril
September 29, 2023 08:11 7m 5s master
master
September 29, 2023 08:11 7m 5s
Refactoring of the category theory example + removing plan B (#389) Nix CI for bundle coq-8.18 #36: Commit 2f03016 pushed by CohenCyril
September 29, 2023 07:44 6m 37s master
master
September 29, 2023 07:44 6m 37s
Make primitive_class the default Nix CI for bundle coq-8.18 #35: Pull request #391 opened by proux01
September 29, 2023 07:36 7m 26s
September 29, 2023 07:36 7m 26s
Refactoring of the category theory example + removing plan B Nix CI for bundle coq-8.18 #34: Pull request #389 synchronize by CohenCyril
September 28, 2023 13:17 9m 35s cat-new
cat-new
September 28, 2023 13:17 9m 35s