Skip to content

Actions: coq-community/coqeal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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