Skip to content

Actions: coq-community/coqeal

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #94 from Tragicus/pr1256 Docker CI #148: Commit f8dd924 pushed by proux01
August 19, 2024 12:50 18m 15s master
master
August 19, 2024 12:50 18m 15s
adapt to MC#1256 Docker CI #147: Pull request #94 opened by Tragicus
August 19, 2024 12:23 16m 43s Tragicus:pr1256
Tragicus:pr1256
August 19, 2024 12:23 16m 43s
Merge pull request #92 from Tragicus/pr1229 Docker CI #146: Commit bfd74d5 pushed by proux01
August 8, 2024 13:06 16m 41s master
master
August 8, 2024 13:06 16m 41s
Merge pull request #93 from Tragicus/pr1169 Docker CI #145: Commit cdb361f pushed by proux01
August 6, 2024 12:36 17m 13s master
master
August 6, 2024 12:36 17m 13s
Import order in multipoly.v Docker CI #144: Pull request #93 synchronize by Tragicus
August 6, 2024 11:59 16m 58s Tragicus:pr1169
Tragicus:pr1169
August 6, 2024 11:59 16m 58s
Import order in multipoly.v Docker CI #143: Pull request #93 opened by Tragicus
August 6, 2024 11:58 17m 1s Tragicus:pr1169
Tragicus:pr1169
August 6, 2024 11:58 17m 1s
adapt to MC#1229 Docker CI #142: Pull request #92 synchronize by Tragicus
August 2, 2024 08:40 16m 32s Tragicus:pr1229
Tragicus:pr1229
August 2, 2024 08:40 16m 32s
adapt to MC#1229 Docker CI #141: Pull request #92 synchronize by Tragicus
August 2, 2024 08:21 17m 33s Tragicus:pr1229
Tragicus:pr1229
August 2, 2024 08:21 17m 33s
adapt to MC#1229 Docker CI #140: Pull request #92 opened by Tragicus
August 2, 2024 07:58 14m 56s Tragicus:pr1229
Tragicus:pr1229
August 2, 2024 07:58 14m 56s
Merge pull request #91 from proux01/coq_master Docker CI #139: Commit 86bb4c9 pushed by proux01
July 29, 2024 11:20 16m 33s master
master
July 29, 2024 11:20 16m 33s
Fix compilation with Coq master Docker CI #138: Pull request #91 opened by proux01
July 29, 2024 10:07 7m 30s proux01:coq_master
proux01:coq_master
July 29, 2024 10:07 7m 30s
Merge pull request #90 from proux01/mc_1223 Docker CI #137: Commit b974778 pushed by proux01
June 29, 2024 10:54 29m 45s master
master
June 29, 2024 10:54 29m 45s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #136: Pull request #90 opened by proux01
June 28, 2024 14:13 29m 53s proux01:mc_1223
proux01:mc_1223
June 28, 2024 14:13 29m 53s
Merge pull request #89 from coq-community/mc_1190 Docker CI #135: Commit 73f9ec4 pushed by proux01
March 29, 2024 14:12 34m 32s master
master
March 29, 2024 14:12 34m 32s
Drop MC 2.0 support Docker CI #134: Pull request #89 synchronize by proux01
March 29, 2024 13:22 47m 54s mc_1190
mc_1190
March 29, 2024 13:22 47m 54s
Drop MC 2.0 support Docker CI #133: Pull request #89 opened by pi8027
March 29, 2024 12:31 34m 5s mc_1190
mc_1190
March 29, 2024 12:31 34m 5s
Merge pull request #87 from proux01/sigT_hrel Docker CI #132: Commit fb2ecaf pushed by proux01
February 2, 2024 14:53 22m 0s master
master
February 2, 2024 14:53 22m 0s
Remove universe constraints Docker CI #131: Pull request #87 opened by proux01
February 2, 2024 14:25 27m 17s proux01:sigT_hrel
proux01:sigT_hrel
February 2, 2024 14:25 27m 17s
Merge pull request #86 from coq-community/ci Docker CI #130: Commit 72cbc4f pushed by proux01
January 18, 2024 17:39 20m 4s master
master
January 18, 2024 17:39 20m 4s
Update CI Docker CI #129: Pull request #86 synchronize by pi8027
January 18, 2024 16:24 43m 10s ci
ci
January 18, 2024 16:24 43m 10s
Update CI Docker CI #128: Pull request #86 synchronize by pi8027
January 18, 2024 16:17 37m 20s ci
ci
January 18, 2024 16:17 37m 20s
Update CI Docker CI #127: Pull request #86 opened by pi8027
January 18, 2024 16:14 33m 37s ci
ci
January 18, 2024 16:14 33m 37s
Merge pull request #85 from coq-community/function_scope Docker CI #126: Commit aa50f63 pushed by proux01
December 5, 2023 19:13 6m 53s master
master
December 5, 2023 19:13 6m 53s
Adapt to math-comp/math-comp#1131 Docker CI #125: Pull request #85 synchronize by pi8027
December 5, 2023 16:17 7m 10s function_scope
function_scope
December 5, 2023 16:17 7m 10s
Adapt to math-comp/math-comp#1131 Docker CI #124: Pull request #85 synchronize by proux01
December 5, 2023 15:19 7m 14s function_scope
function_scope
December 5, 2023 15:19 7m 14s