Skip to content

Actions: coq-community/gaia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #21 from coq-community/normalize-metadata Docker CI #66: Commit ca570af pushed by palmskog
August 11, 2024 12:24 9m 4s master
master
August 11, 2024 12:24 9m 4s
normalized metadata Docker CI #65: Pull request #21 opened by palmskog
August 11, 2024 12:09 9m 26s normalize-metadata
normalize-metadata
August 11, 2024 12:09 9m 26s
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