Skip to content

Actions: math-comp/multinomials

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #119 from proux01/mc1545 Docker CI #15: Commit e4e35b9 pushed by proux01
16m 23s master
master
16m 23s
[WIP] replace the infrastructure of mpoly with monalg Docker CI #14: Pull request #116 synchronize by pi8027
15m 32s monalg-based-mpoly
monalg-based-mpoly
15m 32s
Merge pull request #120 from math-comp/rocq21611 Docker CI #13: Commit abf04e2 pushed by pi8027
15m 52s master
master
15m 52s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Docker CI #12: Pull request #120 opened by pi8027
16m 18s rocq21611
rocq21611
16m 18s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #11: Pull request #119 opened by proux01
5m 28s proux01:mc1545
proux01:mc1545
5m 28s
Merge pull request #113 from math-comp/templates Docker CI #10: Commit a9a6ca8 pushed by pi8027
4m 41s master
master
4m 41s
Switch to Rocq-community templates Docker CI #9: Pull request #113 synchronize by pi8027
4m 58s templates
templates
4m 58s
Switch to Rocq-community templates Docker CI #8: Pull request #113 synchronize by pi8027
4m 47s templates
templates
4m 47s
Switch to Rocq-community templates Docker CI #7: Pull request #113 synchronize by pi8027
24m 11s templates
templates
24m 11s
Switch to Rocq-community templates Docker CI #6: Pull request #113 synchronize by pi8027
14m 19s templates
templates
14m 19s
Switch to Rocq-community templates Docker CI #5: Pull request #113 synchronize by pi8027
14m 28s templates
templates
14m 28s
Switch to Rocq-community templates Docker CI #4: Pull request #113 synchronize by pi8027
13m 47s templates
templates
13m 47s
Switch to Rocq-community templates Docker CI #3: Pull request #113 synchronize by pi8027
2m 51s templates
templates
2m 51s
Switch to Rocq-community templates Docker CI #2: Pull request #113 synchronize by pi8027
4m 18s templates
templates
4m 18s
Switch to Rocq-community templates Docker CI #1: Pull request #113 opened by pi8027
7m 23s templates
templates
7m 23s