Skip to content

Actions: math-comp/mczify

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #56 from Tragicus/pr1256 Docker CI #99: Commit b25e4e5 pushed by pi8027
August 14, 2024 12:28 4m 21s master
master
August 14, 2024 12:28 4m 21s
adapt to MC#1256 Docker CI #98: Pull request #56 synchronize by Tragicus
August 9, 2024 09:30 4m 15s Tragicus:pr1256
Tragicus:pr1256
August 9, 2024 09:30 4m 15s
adapt to MC#1256 Docker CI #97: Pull request #56 opened by Tragicus
August 5, 2024 12:28 4m 9s Tragicus:pr1256
Tragicus:pr1256
August 5, 2024 12:28 4m 9s
Merge pull request #55 from math-comp/ci Docker CI #96: Commit 3ea1c2d pushed by pi8027
May 28, 2024 14:53 4m 9s master
master
May 28, 2024 14:53 4m 9s
Update CI Docker CI #95: Pull request #55 synchronize by pi8027
May 28, 2024 14:04 4m 10s ci
ci
May 28, 2024 14:04 4m 10s
Update CI Docker CI #94: Pull request #55 synchronize by pi8027
May 28, 2024 13:48 4m 10s ci
ci
May 28, 2024 13:48 4m 10s
Update CI Docker CI #93: Pull request #55 synchronize by pi8027
May 28, 2024 13:20 4m 15s ci
ci
May 28, 2024 13:20 4m 15s
Update CI Docker CI #92: Pull request #55 opened by pi8027
May 28, 2024 13:02 4m 28s ci
ci
May 28, 2024 13:02 4m 28s
Merge pull request #53 from math-comp/ci Docker CI #91: Commit 7569b6c pushed by pi8027
January 17, 2024 19:19 16m 51s master
master
January 17, 2024 19:19 16m 51s
Update CI Docker CI #90: Pull request #53 opened by pi8027
January 17, 2024 15:31 3m 39s ci
ci
January 17, 2024 15:31 3m 39s
Merge pull request #52 from math-comp/ci Docker CI #89: Commit 371b29c pushed by pi8027
October 26, 2023 11:21 31m 14s master
master
October 26, 2023 11:21 31m 14s
Update CI Docker CI #88: Pull request #52 opened by pi8027
October 26, 2023 10:50 25m 22s ci
ci
October 26, 2023 10:50 25m 22s
Merge pull request #50 from math-comp/ci Docker CI #87: Commit d58958c pushed by pi8027
September 22, 2023 13:22 30m 20s master
master
September 22, 2023 13:22 30m 20s
Update CI Docker CI #86: Pull request #50 opened by pi8027
September 22, 2023 12:48 5m 15s ci
ci
September 22, 2023 12:48 5m 15s
Merge pull request #48 from math-comp/N_to_nat Docker CI #85: Commit 9f330a0 pushed by pi8027
July 11, 2023 13:37 7m 26s master
master
July 11, 2023 13:37 7m 26s
Add morphism instances for N.to_nat and N.of_nat Docker CI #84: Pull request #48 opened by pi8027
July 11, 2023 13:23 7m 25s N_to_nat
N_to_nat
July 11, 2023 13:23 7m 25s
Merge pull request #47 from math-comp/N-semiring Docker CI #83: Commit d79c36c pushed by pi8027
July 3, 2023 12:47 7m 16s master
master
July 3, 2023 12:47 7m 16s
N forms a semiring Docker CI #82: Pull request #47 synchronize by pi8027
July 3, 2023 12:10 7m 37s N-semiring
N-semiring
July 3, 2023 12:10 7m 37s
N forms a semiring Docker CI #81: Pull request #47 synchronize by pi8027
July 3, 2023 12:09 8m 7s N-semiring
N-semiring
July 3, 2023 12:09 8m 7s
N forms a semiring Docker CI #80: Pull request #47 synchronize by pi8027
July 3, 2023 11:59 8m 18s N-semiring
N-semiring
July 3, 2023 11:59 8m 18s
N forms a semiring Docker CI #79: Pull request #47 synchronize by pi8027
June 8, 2023 18:22 21m 45s N-semiring
N-semiring
June 8, 2023 18:22 21m 45s
N forms a semiring Docker CI #78: Pull request #47 synchronize by pi8027
June 8, 2023 16:59 27m 58s N-semiring
N-semiring
June 8, 2023 16:59 27m 58s
N forms a semiring Docker CI #77: Pull request #47 opened by pi8027
June 8, 2023 16:15 23m 56s N-semiring
N-semiring
June 8, 2023 16:15 23m 56s