Skip to content

Actions: coq-community/gaia

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge pull request #20 from Tragicus/pr1256 Docker CI #64: Commit bd9642f pushed by Tragicus
August 5, 2024 12:17 17m 57s master
master
August 5, 2024 12:17 17m 57s
adapt to MC#1256 Docker CI #63: Pull request #20 synchronize by Tragicus
August 5, 2024 12:01 8m 47s Tragicus:pr1256
Tragicus:pr1256
August 5, 2024 12:01 8m 47s
adapt to MC#1256 Docker CI #62: Pull request #20 opened by Tragicus
August 5, 2024 11:42 11m 49s Tragicus:pr1256
Tragicus:pr1256
August 5, 2024 11:42 11m 49s
Merge pull request #19 from coq-community/dune-0.6 Docker CI #61: Commit c9a7657 pushed by palmskog
July 24, 2024 19:04 9m 47s master
master
July 24, 2024 19:04 9m 47s
bump to Dune 3.5 or later and Dune-Coq 0.6 Docker CI #60: Pull request #19 synchronize by palmskog
July 24, 2024 18:52 11m 42s dune-0.6
dune-0.6
July 24, 2024 18:52 11m 42s
bump to Dune 3.5 or later and Dune-Coq 0.6 Docker CI #59: Pull request #19 opened by palmskog
July 24, 2024 18:08 10m 25s dune-0.6
dune-0.6
July 24, 2024 18:08 10m 25s
Merge pull request #18 from coq-community/mc_1223 Docker CI #58: Commit 05942fe pushed by proux01
June 29, 2024 10:56 49m 25s master
master
June 29, 2024 10:56 49m 25s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #57: Pull request #18 synchronize by proux01
June 28, 2024 12:32 54m 53s mc_1223
mc_1223
June 28, 2024 12:32 54m 53s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #56: Pull request #18 synchronize by proux01
June 28, 2024 12:27 1m 34s mc_1223
mc_1223
June 28, 2024 12:27 1m 34s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #55: Pull request #18 opened by proux01
June 28, 2024 11:50 35m 35s mc_1223
mc_1223
June 28, 2024 11:50 35m 35s
Merge pull request #17 from coq-community/function_scope Docker CI #54: Commit 07cbbe8 pushed by pi8027
December 8, 2023 13:36 10m 8s master
master
December 8, 2023 13:36 10m 8s
Update CI and fix notation scopes Docker CI #53: Pull request #17 opened by pi8027
December 7, 2023 16:40 10m 9s function_scope
function_scope
December 7, 2023 16:40 10m 9s
Merge pull request #16 from coq-community/mc_1110 Docker CI #52: Commit 979da1e pushed by proux01
November 7, 2023 10:22 32m 43s master
master
November 7, 2023 10:22 32m 43s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #51: Pull request #16 opened by proux01
November 7, 2023 09:34 44m 46s mc_1110
mc_1110
November 7, 2023 09:34 44m 46s
Adapt to https://github.com/math-comp/math-comp/pull/1086 Docker CI #50: Commit 82583c0 pushed by proux01
September 28, 2023 12:19 12m 27s master
master
September 28, 2023 12:19 12m 27s
Merge pull request #15 from coq-community/fix-ci-meta Docker CI #49: Commit 2c616bf pushed by palmskog
August 2, 2023 05:13 1h 4m 59s master
master
August 2, 2023 05:13 1h 4m 59s
fix meta.yml and boilerplate for MathComp 2.0, fix deprecations Docker CI #48: Pull request #15 synchronize by palmskog
August 1, 2023 19:11 1h 2m 53s fix-ci-meta
fix-ci-meta
August 1, 2023 19:11 1h 2m 53s
fix meta.yml and boilerplate for MathComp 2.0, fix deprecations Docker CI #47: Pull request #15 opened by palmskog
August 1, 2023 17:48 1h 0m 28s fix-ci-meta
fix-ci-meta
August 1, 2023 17:48 1h 0m 28s
Merge pull request #11 from coq-community/hierarchy-builder Docker CI #46: Commit aa4ab94 pushed by proux01
May 19, 2023 16:32 48m 17s master
master
May 19, 2023 16:32 48m 17s
Port to Hierarchy Builder Docker CI #45: Pull request #11 synchronize by proux01
May 19, 2023 13:14 56m 30s hierarchy-builder
hierarchy-builder
May 19, 2023 13:14 56m 30s