Skip to content

Actions: rocq-community/apery

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Revert "Adapt to https://github.com/math-comp/math-comp/pull/1456" Docker CI #220: Pull request #44 opened by pi8027
25m 1s revert-pr37
revert-pr37
25m 1s
Merge pull request #43 from proux01/rocq21849 Docker CI #219: Commit 97f0c01 pushed by proux01
25m 31s master
master
25m 31s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Docker CI #218: Pull request #43 opened by proux01
24m 57s proux01:rocq21849
proux01:rocq21849
24m 57s
Merge pull request #42 from rocq-community/mc1545 Docker CI #217: Commit c3b4b61 pushed by proux01
27m 2s master
master
27m 2s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #216: Pull request #42 synchronize by proux01
24m 57s mc1545
mc1545
24m 57s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #215: Pull request #42 opened by proux01
24m 57s mc1545
mc1545
24m 57s
Merge pull request #41 from rocq-community/fix-imports Docker CI #214: Commit aa14fa2 pushed by pi8027
25m 23s master
master
25m 23s
Fix imports Docker CI #213: Pull request #41 synchronize by proux01
24m 25s fix-imports
fix-imports
24m 25s
Fix imports Docker CI #212: Pull request #41 opened by proux01
23m 45s fix-imports
fix-imports
23m 45s
Merge pull request #40 from proux01/posnum_mc Docker CI #211: Commit 038d162 pushed by proux01
24m 14s master
master
24m 14s
Remove file posnum.v Docker CI #210: Pull request #40 opened by proux01
24m 38s proux01:posnum_mc
proux01:posnum_mc
24m 38s
Merge pull request #38 from proux01/at122 Docker CI #209: Commit 0dc2550 pushed by proux01
25m 12s master
master
25m 12s
Adapt to https://github.com/math-comp/algebra-tactics/pull/122 Docker CI #208: Pull request #38 opened by proux01
26m 21s proux01:at122
proux01:at122
26m 21s
Merge pull request #37 from proux01/mc1456 Docker CI #207: Commit e4edd1b pushed by proux01
24m 21s master
master
24m 21s
Adapt to https://github.com/math-comp/math-comp/pull/1456 Docker CI #206: Pull request #37 opened by proux01
24m 23s proux01:mc1456
proux01:mc1456
24m 23s
Merge pull request #36 from proux01/micromega-core Docker CI #205: Commit 41ce350 pushed by pi8027
33m 20s master
master
33m 20s
Adapt to https://github.com/math-comp/math-comp/pull/1448 Docker CI #204: Pull request #36 opened by proux01
21m 1s proux01:micromega-core
proux01:micromega-core
21m 1s
Merge pull request #35 from rocq-community/ssrpat-FO-ignore-imparg Docker CI #203: Commit 501292b pushed by proux01
29m 7s master
master
29m 7s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #202: Pull request #35 opened by proux01
41m 15s ssrpat-FO-ignore-imparg
ssrpat-FO-ignore-imparg
41m 15s
Merge pull request #34 from rocq-community/meta-yml Docker CI #201: Commit 5353376 pushed by pi8027
41m 51s master
master
41m 51s
Update meta.yml Docker CI #200: Pull request #34 opened by pi8027
39m 1s meta-yml
meta-yml
39m 1s
Merge pull request #33 from rocq-community/mc1110 Docker CI #199: Commit 3a691e7 pushed by proux01
41m 27s master
master
41m 27s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #198: Pull request #33 opened by proux01
40m 31s mc1110
mc1110
40m 31s
Merge pull request #32 from rocq-community/mc1261 Docker CI #197: Commit d8fea55 pushed by proux01
21m 39s master
master
21m 39s
Adapt to https://github.com/math-comp/math-comp/pull/1261 Docker CI #196: Pull request #32 opened by proux01
21m 9s mc1261
mc1261
21m 9s