Skip to content

Actions: coq-community/gaia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
August 1, 2023 17:48 1h 0m 28s