Skip to content

Actions: math-comp/mczify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update meta.yml Docker CI #121: Pull request #66 opened by pi8027
37m 24s ci
ci
37m 24s
Merge pull request #65 from math-comp/release Docker CI #120: Commit 96dfac8 pushed by pi8027
31m 21s master
master
31m 21s
Prepare for a release Docker CI #119: Pull request #65 synchronize by pi8027
30m 52s release
release
30m 52s
Prepare for a release Docker CI #118: Pull request #65 synchronize by pi8027
32m 25s release
release
32m 25s
Prepare for a release Docker CI #117: Pull request #65 synchronize by pi8027
31m 43s release
release
31m 43s
Prepare for a release Docker CI #116: Pull request #65 synchronize by pi8027
31m 12s release
release
31m 12s
Prepare for a release Docker CI #115: Pull request #65 synchronize by pi8027
50m 14s release
release
50m 14s
Prepare for a release Docker CI #114: Pull request #65 opened by pi8027
56m 3s release
release
56m 3s
Merge pull request #64 from proux01/mc1456 Docker CI #113: Commit c2aad01 pushed by pi8027
51m 45s master
master
51m 45s
Coq -> Stdlib Docker CI #112: Commit 07a8d9e pushed by pi8027
30m 18s master
master
30m 18s
Merge pull request #64 from proux01/mc1456 Docker CI #111: Commit c2aad01 pushed by pi8027
31m 21s master
master
31m 21s
Revert "Adapt to https://github.com/math-comp/math-comp/pull/1448" Docker CI #110: Pull request #64 opened by proux01
31m 41s proux01:mc1456
proux01:mc1456
31m 41s
Merge pull request #62 from proux01/micromega-core Docker CI #109: Commit 0a2caf6 pushed by pi8027
31m 33s master
master
31m 33s
Adapt to https://github.com/math-comp/math-comp/pull/1448 Docker CI #108: Pull request #62 opened by proux01
31m 53s proux01:micromega-core
proux01:micromega-core
31m 53s
Merge pull request #60 from andres-erbsen/patch-1 Docker CI #107: Commit d4ec06f pushed by CohenCyril
15m 47s master
master
15m 47s
Require Znumtheory before using it Docker CI #106: Pull request #60 synchronize by CohenCyril
16m 45s andres-erbsen:patch-1
andres-erbsen:patch-1
16m 45s
Require Znumtheory before using it Docker CI #105: Pull request #60 synchronize by CohenCyril
14m 48s andres-erbsen:patch-1
andres-erbsen:patch-1
14m 48s
Require Znumtheory before using it Docker CI #104: Pull request #60 opened by andres-erbsen
16m 57s andres-erbsen:patch-1
andres-erbsen:patch-1
16m 57s
Merge pull request #59 from math-comp/ci Docker CI #103: Commit 0d2b9fd pushed by pi8027
4m 37s master
master
4m 37s
Update CI Docker CI #102: Pull request #59 opened by pi8027
4m 33s ci
ci
4m 33s