Skip to content

Actions: math-comp/hierarchy-builder

Actions

Nix CI for bundle coq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master.yml
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Update Nix toolbox and add CoqEAL Nix CI for bundle coq-master #96: Pull request #396 opened by proux01
October 10, 2023 07:47 3h 17m 47s proux01:ci_coqeal
proux01:ci_coqeal
October 10, 2023 07:47 3h 17m 47s
[CI] Update Nix toolbox and add CoqEAL Nix CI for bundle coq-master #95: Pull request #396 opened by proux01
October 10, 2023 07:47 9m 31s
October 10, 2023 07:47 9m 31s
[refactor] instance declaration Nix CI for bundle coq-master #94: Pull request #376 synchronize by gares
October 9, 2023 12:36 8m 56s
October 9, 2023 12:36 8m 56s
Merge pull request #334 from math-comp/instance-before-structure Nix CI for bundle coq-master #93: Commit 2a10928 pushed by gares
October 8, 2023 13:41 8m 27s master
master
October 8, 2023 13:41 8m 27s
saturate instances on structure declaration Nix CI for bundle coq-master #92: Pull request #334 synchronize by gares
October 8, 2023 13:37 8m 51s
October 8, 2023 13:37 8m 51s
saturate instances on structure declaration Nix CI for bundle coq-master #91: Pull request #334 synchronize by gares
October 8, 2023 13:22 8m 1s
October 8, 2023 13:22 8m 1s
saturate instances on structure declaration Nix CI for bundle coq-master #90: Pull request #334 synchronize by gares
October 8, 2023 13:09 7m 59s
October 8, 2023 13:09 7m 59s
saturate instances on structure declaration Nix CI for bundle coq-master #89: Pull request #334 synchronize by gares
October 8, 2023 12:54 8m 21s
October 8, 2023 12:54 8m 21s
saturate instances on structure declaration Nix CI for bundle coq-master #88: Pull request #334 synchronize by gares
October 8, 2023 12:44 14m 48s
October 8, 2023 12:44 14m 48s
saturate instances on structure declaration Nix CI for bundle coq-master #87: Pull request #334 synchronize by gares
October 8, 2023 12:39 18m 7s
October 8, 2023 12:39 18m 7s
saturate instances on structure declaration Nix CI for bundle coq-master #86: Pull request #334 synchronize by gares
October 8, 2023 12:38 17m 43s
October 8, 2023 12:38 17m 43s
saturate instances on structure declaration Nix CI for bundle coq-master #85: Pull request #334 synchronize by gares
October 8, 2023 12:38 18m 0s
October 8, 2023 12:38 18m 0s
saturate instances on structure declaration Nix CI for bundle coq-master #84: Pull request #334 synchronize by gares
October 8, 2023 12:37 18m 33s
October 8, 2023 12:37 18m 33s
[refactor] instance declaration Nix CI for bundle coq-master #83: Pull request #376 synchronize by gares
October 6, 2023 20:59 8m 18s
October 6, 2023 20:59 8m 18s
saturate instances on structure declaration Nix CI for bundle coq-master #82: Pull request #334 synchronize by gares
October 6, 2023 19:54 8m 17s
October 6, 2023 19:54 8m 17s
[refactor] instance declaration Nix CI for bundle coq-master #81: Pull request #376 synchronize by gares
October 6, 2023 19:04 8m 51s
October 6, 2023 19:04 8m 51s
[refactor] instance declaration Nix CI for bundle coq-master #80: Pull request #376 synchronize by gares
October 6, 2023 19:02 10m 6s
October 6, 2023 19:02 10m 6s
[refactor] instance declaration Nix CI for bundle coq-master #79: Pull request #376 synchronize by gares
October 6, 2023 18:54 8m 35s
October 6, 2023 18:54 8m 35s
[refactor] instance declaration Nix CI for bundle coq-master #78: Pull request #376 synchronize by gares
October 6, 2023 14:29 8m 57s
October 6, 2023 14:29 8m 57s
[refactor] instance declaration Nix CI for bundle coq-master #77: Pull request #376 synchronize by gares
October 6, 2023 12:12 8m 51s
October 6, 2023 12:12 8m 51s
[refactor] instance declaration Nix CI for bundle coq-master #76: Pull request #376 synchronize by CohenCyril
October 6, 2023 12:09 8m 55s
October 6, 2023 12:09 8m 55s
[refactor] instance declaration Nix CI for bundle coq-master #75: Pull request #376 synchronize by gares
October 6, 2023 11:15 7m 45s
October 6, 2023 11:15 7m 45s
[refactor] instance declaration Nix CI for bundle coq-master #74: Pull request #376 synchronize by gares
October 6, 2023 09:01 8m 8s
October 6, 2023 09:01 8m 8s
saturate instances on structure declaration Nix CI for bundle coq-master #73: Pull request #334 synchronize by gares
October 6, 2023 08:35 8m 20s
October 6, 2023 08:35 8m 20s
saturate instances on structure declaration Nix CI for bundle coq-master #72: Pull request #334 synchronize by gares
October 6, 2023 08:29 8m 39s
October 6, 2023 08:29 8m 39s