8000 Workflow runs · rocq-community/gaia · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: rocq-community/gaia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Update Docker CI #79: Pull request #27 synchronize by proux01
May 2, 2025 12:54 10m 27s ci-update
ci-update
May 2, 2025 12:54 10m 27s
[CI] Update Docker CI #78: Pull request #27 opened by proux01
April 16, 2025 06:52 17s ci-update
ci-update
April 16, 2025 06:52 17s
Merge pull request #26 from rocq-community/mc1261 Docker CI #77: Commit ef8c79d pushed by proux01
March 25, 2025 13:20 9m 14s master
master
March 25, 2025 13:20 9m 14s
Adapt to https://github.com/math-comp/math-comp/pull/1261 Docker CI #76: Pull request #26 opened by proux01
March 25, 2025 12:03 9m 13s mc1261
mc1261
March 25, 2025 12:03 9m 13s
Merge pull request #25 from coq-community/mc1354 Docker CI #75: Commit 1947a22 pushed by proux01
February 28, 2025 12:57 14m 48s master
master
February 28, 2025 12:57 14m 48s
Adapt to https://github.com/math-comp/math-comp/pull/1354 Docker CI #74: Pull request #25 opened by proux01
February 28, 2025 12:40 14m 56s mc1354
mc1354
February 28, 2025 12:40 14m 56s
Merge pull request #24 from coq-community/update-ci Docker CI #73: Commit 69555eb pushed by palmskog
February 16, 2025 09:57 8m 56s master
master
February 16, 2025 09:57 8m 56s
update docker ci Docker CI #72: Pull request #24 opened by palmskog
February 16, 2025 09:31 9m 4s update-ci
update-ci
February 16, 2025 09:31 9m 4s
Merge pull request #23 from coq-community/mc1343 Docker CI #71: Commit 8cb4408 pushed by proux01
February 14, 2025 08:16 10m 46s master
master
February 14, 2025 08:16 10m 46s
Adapt to https://github.com/math-comp/math-comp/pull/1343 Docker CI #70: Pull request #23 opened by proux01
February 14, 2025 07:36 9m 16s mc1343
mc1343
February 14, 2025 07:36 9m 16s
Merge pull request #22 from coq-community/make-packages Docker CI #69: Commit 516bb27 pushed by palmskog
December 24, 2024 13:59 9m 11s master
master
December 24, 2024 13:59 9m 11s
enable using coq_makefile for opam packages Docker CI #68: Pull request #22 synchronize by palmskog
December 24, 2024 13:50 9m 0s make-packages
make-packages
December 24, 2024 13:50 9m 0s
enable using coq_makefile for opam packages Docker CI #67: Pull request #22 opened by palmskog
December 24, 2024 13:30 9m 4s make-packages
make-packages
December 24, 2024 13:30 9m 4s
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
0