Skip to content

Actions: coq-community/coqeal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Merge pull request #84 from coq-community/mc_1046 Docker CI #121: Commit b50844a pushed by proux01
November 27, 2023 16:06 20m 15s master
master
November 27, 2023 16:06 20m 15s
Adapt to https://github.com/math-comp/math-comp/pull/1046 Docker CI #120: Pull request #84 opened by proux01
November 27, 2023 14:47 19m 51s mc_1046
mc_1046
November 27, 2023 14:47 19m 51s
Merge pull request #83 from coq-community/hb_gt_160_primproj Docker CI #119: Commit 89b84d5 pushed by proux01
November 21, 2023 12:02 19m 57s master
master
November 21, 2023 12:02 19m 57s
Adapt to HB > 1.6.0 (use of primitive projections) Docker CI #118: Pull request #83 opened by proux01
November 21, 2023 11:07 19m 25s hb_gt_160_primproj
hb_gt_160_primproj
November 21, 2023 11:07 19m 25s
Merge pull request #81 from coq-community/meta-deps-8.19 Docker CI #117: Commit 27e918b pushed by proux01
September 2, 2023 09:03 49m 53s master
master
September 2, 2023 09:03 49m 53s
explicitly record implicit dependencies, update boilerplate for 8.18 Docker CI #116: Pull request #81 synchronize by proux01
September 2, 2023 09:02 24s meta-deps-8.19
meta-deps-8.19
September 2, 2023 09:02 24s
explicitly record implicit dependencies, update boilerplate for 8.18 Docker CI #115: Pull request #81 synchronize by palmskog
September 2, 2023 07:58 52m 23s meta-deps-8.19
meta-deps-8.19
September 2, 2023 07:58 52m 23s
explicitly record implicit dependencies, update boilerplate for 8.18 Docker CI #114: Pull request #81 opened by palmskog
September 2, 2023 07:54 56m 4s meta-deps-8.19
meta-deps-8.19
September 2, 2023 07:54 56m 4s
Merge pull request #80 from coq-community/mc_1031 Docker CI #113: Commit 8140228 pushed by proux01
June 9, 2023 20:25 12m 51s master
master
June 9, 2023 20:25 12m 51s
Adapt to https://github.com/math-comp/math-comp/pull/1031 Docker CI #112: Pull request #80 opened by proux01
June 9, 2023 20:11 12m 51s mc_1031
mc_1031
June 9, 2023 20:11 12m 51s
Merge pull request #57 from coq-community/hierarchy-builder Docker CI #111: Commit 9bbbb34 pushed by proux01
June 8, 2023 13:22 12m 38s master
master
June 8, 2023 13:22 12m 38s