Skip to content

Actions: coq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow run results
198 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #903: Scheduled
July 1, 2024 05:12 42m 42s master
master
July 1, 2024 05:12 42m 42s
Docker CI Docker CI #902: Scheduled
June 30, 2024 05:11 43m 11s master
master
June 30, 2024 05:11 43m 11s
Merge pull request #58 from coq-community/mc_1223 Nix CI for bundle 8.16+2.0 #21: Commit 027788b pushed by proux01
June 29, 2024 10:55 8m 31s master
master
June 29, 2024 10:55 8m 31s
Merge pull request #58 from coq-community/mc_1223 Nix CI for bundle 8.17+2.0 #21: Commit 027788b pushed by proux01
June 29, 2024 10:55 7m 18s master
master
June 29, 2024 10:55 7m 18s
Merge pull request #58 from coq-community/mc_1223 Nix CI for bundle 8.18+2.0 #9: Commit 027788b pushed by proux01
June 29, 2024 10:55 7m 49s master
master
June 29, 2024 10:55 7m 49s
Merge pull request #58 from coq-community/mc_1223 Docker CI #901: Commit 027788b pushed by proux01
June 29, 2024 10:55 43m 17s master
master
June 29, 2024 10:55 43m 17s
Docker CI Docker CI #900: Scheduled
June 29, 2024 05:13 43m 1s master
master
June 29, 2024 05:13 43m 1s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Docker CI #899: Pull request #58 opened by proux01
June 28, 2024 07:29 45m 1s mc_1223
mc_1223
June 28, 2024 07:29 45m 1s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle 8.16+2.0 #20: Pull request #58 opened by proux01
June 28, 2024 07:29 35m 32s
June 28, 2024 07:29 35m 32s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle 8.18+2.0 #8: Pull request #58 opened by proux01
June 28, 2024 07:29 34m 56s
June 28, 2024 07:29 34m 56s
Adapt to https://github.com/math-comp/math-comp/pull/1223 Nix CI for bundle 8.17+2.0 #20: Pull request #58 opened by proux01
June 28, 2024 07:29 35m 12s
June 28, 2024 07:29 35m 12s
Docker CI Docker CI #898: Scheduled
June 28, 2024 05:11 44m 2s master
master
June 28, 2024 05:11 44m 2s
Docker CI Docker CI #897: Scheduled
June 27, 2024 05:12 42m 31s master
master
June 27, 2024 05:12 42m 31s
Docker CI Docker CI #896: Scheduled
June 26, 2024 05:11 1h 8m 14s master
master
June 26, 2024 05:11 1h 8m 14s
Docker CI Docker CI #895: Scheduled
June 25, 2024 05:12 43m 39s master
master
June 25, 2024 05:12 43m 39s
Docker CI Docker CI #894: Scheduled
June 24, 2024 05:12 20m 7s master
master
June 24, 2024 05:12 20m 7s
Docker CI Docker CI #893: Scheduled
June 23, 2024 05:11 19m 56s master
master
June 23, 2024 05:11 19m 56s
Docker CI Docker CI #892: Scheduled
June 22, 2024 05:12 20m 1s master
master
June 22, 2024 05:12 20m 1s
Docker CI Docker CI #891: Scheduled
June 21, 2024 05:12 20m 21s master
master
June 21, 2024 05:12 20m 21s
Docker CI Docker CI #890: Scheduled
June 20, 2024 05:11 20m 21s master
master
June 20, 2024 05:11 20m 21s
Adapt to Coq PR #18591: better refolding of addn induces now useless addnE Nix CI for bundle 8.18+2.0 #7: Pull request #57 opened by herbelin
June 19, 2024 13:25 22s
June 19, 2024 13:25 22s
Adapt to Coq PR #18591: better refolding of addn induces now useless addnE Nix CI for bundle 8.17+2.0 #19: Pull request #57 opened by herbelin
June 19, 2024 13:25 23s
June 19, 2024 13:25 23s
Adapt to Coq PR #18591: better refolding of addn induces now useless addnE Nix CI for bundle 8.16+2.0 #19: Pull request #57 opened by herbelin
June 19, 2024 13:25 28s
June 19, 2024 13:25 28s
Adapt to Coq PR #18591: better refolding of addn induces now useless addnE Docker CI #889: Pull request #57 opened by herbelin
June 19, 2024 13:25 20m 42s herbelin:master+adapt-coq-pr18591-simpl-never-refolding
herbelin:master+adapt-coq-pr18591-simpl-never-refolding
June 19, 2024 13:25 20m 42s
Docker CI Docker CI #888: Scheduled
June 19, 2024 05:12 20m 21s master
master
June 19, 2024 05:12 20m 21s