Skip to content

Actions: imdea-software/htt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 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
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