Skip to content

Actions: imdea-software/fcsl-pcm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
renaming coq -> rocq (#63) Docker CI #125: Commit 07ca499 pushed by aleksnanevski
16m 59s master
master
16m 59s
renaming coq -> rocq Docker CI #124: Pull request #63 opened by aleksnanevski
17m 21s v2.3.1
v2.3.1
17m 21s
minor Docker CI #123: Commit 71973d3 pushed by aleksnanevski
16m 42s master
master
16m 42s
minor Docker CI #122: Commit b47d767 pushed by aleksnanevski
16m 50s master
master
16m 50s
updating to rocq-9.2/mathcomp-2.6.0 (#62) Docker CI #121: Commit ff18957 pushed by aleksnanevski
18m 13s master
master
18m 13s
updating to rocq-9.2/mathcomp-2.6.0 Docker CI #120: Pull request #62 opened by aleksnanevski
17m 0s v2.3.0
v2.3.0
17m 0s
Updating to rocq-9.2/mathcomp-2.6.0 (#61) Docker CI #119: Commit 1ae119a pushed by aleksnanevski
16m 42s master
master
16m 42s
Updating to rocq9.2/mathcomp2.6 Docker CI #118: Pull request #61 synchronize by aleksnanevski
17m 5s v2.3.0
v2.3.0
17m 5s
Updating to rocq9.2/mathcomp2.6 Docker CI #117: Pull request #61 synchronize by clayrat
16m 45s v2.3.0
v2.3.0
16m 45s
Updating to rocq9.2/mathcomp2.6 Docker CI #116: Pull request #61 synchronize by aleksnanevski
16m 44s v2.3.0
v2.3.0
16m 44s
Updating to rocq9.2/mathcomp2.6 Docker CI #115: Pull request #61 synchronize by clayrat
16m 24s v2.3.0
v2.3.0
16m 24s
Updating to rocq9.2/mathcomp2.6 Docker CI #114: Pull request #61 synchronize by aleksnanevski
16m 45s v2.3.0
v2.3.0
16m 45s
Updating to rocq9.2/mathcomp2.6 Docker CI #113: Pull request #61 synchronize by aleksnanevski
16m 59s v2.3.0
v2.3.0
16m 59s
Updating to rocq9.2/mathcomp2.6 Docker CI #112: Pull request #61 synchronize by aleksnanevski
18m 42s v2.3.0
v2.3.0
18m 42s
Updating to rocq9.2/mathcomp2.6 Docker CI #111: Pull request #61 synchronize by aleksnanevski
18m 16s v2.3.0
v2.3.0
18m 16s
Updating to rocq9.2/mathcomp2.6 Docker CI #110: Pull request #61 synchronize by aleksnanevski
18m 23s v2.3.0
v2.3.0
18m 23s
Updating to rocq9.2/mathcomp2.6 Docker CI #109: Pull request #61 synchronize by aleksnanevski
2m 55s v2.3.0
v2.3.0
2m 55s
Updating to rocq9.2/mathcomp2.6 Docker CI #108: Pull request #61 synchronize by aleksnanevski
8m 19s v2.3.0
v2.3.0
8m 19s
Updating to rocq9.2/mathcomp2.6 Docker CI #107: Pull request #61 opened by aleksnanevski
7m 58s v2.3.0
v2.3.0
7m 58s
Adapt to math-comp/math-comp#1580 (#60) Docker CI #106: Commit 4f55ee2 pushed by aleksnanevski
6m 36s master
master
6m 36s
Adapt to math-comp/math-comp#1580 Docker CI #105: Pull request #60 opened by pi8027
6m 32s pi8027:mc-1580
pi8027:mc-1580
6m 32s
Fix incorrect Proof command (#59) Docker CI #104: Commit cbc9583 pushed by aleksnanevski
6m 41s master
master
6m 41s
Fix incorrect Proof command Docker CI #103: Pull request #59 opened by SkySkimmer
6m 35s SkySkimmer:warn-missing-proof
SkySkimmer:warn-missing-proof
6m 35s
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