Skip to content

Actions: coq-community/coqeal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Adapt to math-comp/math-comp#1131 Docker CI #123: Pull request #85 synchronize by pi8027
December 5, 2023 14:34 6m 58s function_scope
function_scope
December 5, 2023 14:34 6m 58s
Adapt to math-comp/math-comp#1131 Docker CI #122: Pull request #85 opened by pi8027
December 5, 2023 14:28 7m 1s function_scope
function_scope
December 5, 2023 14:28 7m 1s