Skip to content

Actions: imdea-software/fcsl-pcm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to math-comp/math-comp#1545 (#58) Docker CI #102: Commit d8ec02f pushed by aleksnanevski
15m 36s master
master
15m 36s
Adapt to math-comp/math-comp#1545 Docker CI #101: Pull request #58 synchronize by aleksnanevski
16m 47s new
new
16m 47s
Adapt to math-comp/math-comp#1545 Docker CI #100: Pull request #58 synchronize by aleksnanevski
13m 18s new
new
13m 18s
Adapt to math-comp/math-comp#1545 Docker CI #99: Pull request #58 synchronize by aleksnanevski
12m 49s new
new
12m 49s
Adapt to math-comp/math-comp#1545 Docker CI #98: Pull request #58 synchronize by aleksnanevski
12m 36s new
new
12m 36s
Adapt to math-comp/math-comp#1545 Docker CI #97: Pull request #58 synchronize by aleksnanevski
12m 35s new
new
12m 35s
Adapt to math-comp/math-comp#1545 Docker CI #96: Pull request #58 synchronize by aleksnanevski
12m 39s new
new
12m 39s
Adapt to math-comp/math-comp#1545 Docker CI #95: Pull request #58 opened by aleksnanevski
12m 31s new
new
12m 31s
Adapt to math-comp/math-comp#1545 Docker CI #94: Commit dea1d87 pushed by aleksnanevski
11m 28s master
master
11m 28s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#57) Docker CI #93: Commit 31c89c8 pushed by aleksnanevski
12m 41s master
master
12m 41s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #92: Pull request #57 opened by proux01
12m 46s proux01:mc1545
proux01:mc1545
12m 46s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 (#56) Docker CI #91: Commit 523666a pushed by aleksnanevski
11m 47s master
master
11m 47s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Docker CI #90: Pull request #56 opened by proux01
11m 54s proux01:rocq21611
proux01:rocq21611
11m 54s
preparing for coq-fcsl-pcm v2.2.0 release (#55) Docker CI #89: Commit 69c244e pushed by aleksnanevski
4m 50s master
master
4m 50s
preparing for coq-fcsl-pcm v2.2.0 release Docker CI #88: Pull request #55 opened by aleksnanevski
4m 59s branch2.2.0
branch2.2.0
4m 59s
changing docker images for CI (#54) Docker CI #87: Commit db46844 pushed by aleksnanevski
6m 17s master
master
6m 17s
changing docker images for CI Docker CI #86: Pull request #54 opened by aleksnanevski
6m 13s myFeature
myFeature
6m 13s
restricting hierarchy builder to the latest version (#53) Docker CI #85: Commit 641ddee pushed by aleksnanevski
6m 4s master
master
6m 4s
restricting hierarchy builder to the latest version Docker CI #84: Pull request #53 opened by aleksnanevski
6m 9s myFeature
myFeature
6m 9s
Adapt to https://github.com/math-comp/math-comp/pull/1169 (#52) Docker CI #83: Commit 5629014 pushed by aleksnanevski
15m 50s master
master
15m 50s
Adapt to https://github.com/math-comp/math-comp/pull/1169 Docker CI #82: Pull request #52 synchronize by proux01
3m 7s proux01:mc1169
proux01:mc1169
3m 7s
Adapt to https://github.com/math-comp/math-comp/pull/1169 Docker CI #81: Pull request #52 synchronize by proux01
5m 31s proux01:mc1169
proux01:mc1169
5m 31s
Adapt to https://github.com/math-comp/math-comp/pull/1169 Docker CI #80: Pull request #52 synchronize by proux01
4m 37s proux01:mc1169
proux01:mc1169
4m 37s
Adapt to https://github.com/math-comp/math-comp/pull/1169 Docker CI #79: Pull request #52 opened by proux01
5m 29s proux01:mc1169
proux01:mc1169
5m 29s
fixing docker image for rocq.dev (#51) Docker CI #78: Commit e5411aa pushed by aleksnanevski
6m 52s master
master
6m 52s