Skip to content

Actions: imdea-software/htt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapting to math-comp/math-comp#1545. (#46) Docker CI #90: Commit b1b221d pushed by aleksnanevski
14m 46s master
master
14m 46s
Adapting to math-comp/math-comp#1545. Docker CI #89: Pull request #46 opened by aleksnanevski
15m 17s new
new
15m 17s
2.2.1 (#45) Docker CI #88: Commit 0453615 pushed by aleksnanevski
5m 0s master
master
5m 0s
2.2.1 Docker CI #87: Pull request #45 opened by aleksnanevski
4m 49s 2.2.1
2.2.1
4m 49s
preparing v2.2.0 release (#44) Docker CI #86: Commit e0d2a6c pushed by aleksnanevski
4m 31s master
master
4m 31s
preparing v2.2.0 release Docker CI #85: Pull request #44 opened by aleksnanevski
4m 32s branch.2.2.0
branch.2.2.0
4m 32s
adapting docker images to mathcomp 2.4 (#42) Docker CI #84: Commit 177588c pushed by aleksnanevski
13m 51s master
master
13m 51s
adapting docker images to mathcomp 2.4 Docker CI #83: Pull request #42 synchronize by aleksnanevski
14m 28s myFeature
myFeature
14m 28s
adapting docker images to mathcomp 2.4 and hieararchy builder 1.9 Docker CI #82: Pull request #41 synchronize by aleksnanevski
13m 50s myFeature
myFeature
13m 50s
updating coq and mathcomp versions (#40) Docker CI #81: Commit 6e7376b pushed by aleksnanevski
16m 20s master
master
16m 20s
updating coq and mathcomp versions Docker CI #80: Pull request #40 opened by aleksnanevski
15m 36s myFeature
myFeature
15m 36s
updating coq and mathcomp versions Docker CI #79: Pull request #39 opened by aleksnanevski
15m 26s myFeature
myFeature
15m 26s
Adapt to https://github.com/math-comp/math-comp/pull/1169#52 (#38) Docker CI #78: Commit 7aa5d80 pushed by aleksnanevski
15m 48s master
master
15m 48s
Adapt to https://github.com/math-comp/math-comp/pull/1169#52 Docker CI #77: Pull request #38 opened by aleksnanevski
16m 3s myFeature
myFeature
16m 3s
fun_scope -> function_scope (#37) Docker CI #76: Commit 90900f9 pushed by aleksnanevski
5m 29s master
master
5m 29s
fun_scope -> function_scope Docker CI #75: Pull request #37 opened by aleksnanevski
5m 22s dev
dev
5m 22s
fixing the name for the docker image for rocq dev (#36) Docker CI #74: Commit e9eb737 pushed by aleksnanevski
6m 42s master
master
6m 42s
fixing the name for the docker image for rocq dev Docker CI #73: Pull request #36 synchronize by aleksnanevski
7m 15s docker
docker
7m 15s