Skip to content

Actions: rocq-community/apery

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #31 from coq-community/mc1354 Docker CI #195: Commit f8472a4 pushed by proux01
21m 29s master
master
21m 29s
Adapt to https://github.com/math-comp/math-comp/pull/1354 Docker CI #194: Pull request #31 synchronize by proux01
21m 24s mc1354
mc1354
21m 24s
Adapt to https://github.com/math-comp/math-comp/pull/1354 Docker CI #193: Pull request #31 opened by proux01
5m 57s mc1354
mc1354
5m 57s