Skip to content

Actions: coq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
483 workflow runs
483 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #54 from coq-community/ci_mc_2_1_0 Nix CI for bundle 8.16+2.0 #13: Commit 43719c0 pushed by proux01
October 26, 2023 13:44 2m 16s master
master
October 26, 2023 13:44 2m 16s
Merge pull request #54 from coq-community/ci_mc_2_1_0 Nix CI for bundle 8.18+2.0 #1: Commit 43719c0 pushed by proux01
October 26, 2023 13:44 48m 15s master
master
October 26, 2023 13:44 48m 15s
Merge pull request #54 from coq-community/ci_mc_2_1_0 Nix CI for bundle 8.17+2.0 #13: Commit 43719c0 pushed by proux01
October 26, 2023 13:44 9m 51s master
master
October 26, 2023 13:44 9m 51s
[CI] Add MC 2.1.0 Docker CI #645: Pull request #54 synchronize by proux01
October 26, 2023 12:37 43m 59s ci_mc_2_1_0
ci_mc_2_1_0
October 26, 2023 12:37 43m 59s
[CI] Add MC 2.1.0 Nix CI for bundle 8.16+2.0 #12: Pull request #54 synchronize by proux01
October 26, 2023 12:37 43m 53s
October 26, 2023 12:37 43m 53s
[CI] Add MC 2.1.0 Nix CI for bundle 8.17+2.0 #12: Pull request #54 synchronize by proux01
October 26, 2023 12:37 24m 36s
October 26, 2023 12:37 24m 36s
[CI] Add MC 2.1.0 Docker CI #644: Pull request #54 opened by proux01
October 26, 2023 12:33 1m 47s ci_mc_2_1_0
ci_mc_2_1_0
October 26, 2023 12:33 1m 47s
[CI] Add MC 2.1.0 Nix CI for bundle 8.16+2.0 #11: Pull request #54 opened by proux01
October 26, 2023 12:33 1m 32s
October 26, 2023 12:33 1m 32s
[CI] Add MC 2.1.0 Nix CI for bundle 8.17+2.0 #11: Pull request #54 opened by proux01
October 26, 2023 12:33 1m 20s
October 26, 2023 12:33 1m 20s
[CI] Add MC 2.1 Docker CI #643: Pull request #53 synchronize by proux01
October 26, 2023 11:28 47m 21s ci_mc210
ci_mc210
October 26, 2023 11:28 47m 21s
[CI] Add MC 2.1 Nix CI for bundle 8.17+2.0 #10: Pull request #53 synchronize by proux01
October 26, 2023 11:28 36m 53s
October 26, 2023 11:28 36m 53s
[CI] Add MC 2.1 Nix CI for bundle 8.16+2.0 #10: Pull request #53 synchronize by proux01
October 26, 2023 11:28 56m 54s
October 26, 2023 11:28 56m 54s
[CI] Add MC 2.1 Docker CI #642: Pull request #53 synchronize by proux01
October 26, 2023 10:11 56m 4s ci_mc210
ci_mc210
October 26, 2023 10:11 56m 4s
[CI] Add MC 2.1 Nix CI for bundle 8.16+2.0 #9: Pull request #53 synchronize by proux01
October 26, 2023 10:11 31m 17s ci_mc210
ci_mc210
October 26, 2023 10:11 31m 17s
[CI] Add MC 2.1 Nix CI for bundle 8.17+2.0 #9: Pull request #53 synchronize by proux01
October 26, 2023 10:11 21m 23s ci_mc210
ci_mc210
October 26, 2023 10:11 21m 23s
[CI] Add MC 2.1 Nix CI for bundle 8.17+2.0 #8: Pull request #53 synchronize by proux01
October 26, 2023 10:11 23m 57s
October 26, 2023 10:11 23m 57s
[CI] Add MC 2.1 Nix CI for bundle 8.16+2.0 #8: Pull request #53 synchronize by proux01
October 26, 2023 10:11 35m 12s
October 26, 2023 10:11 35m 12s
[CI] Add MC 2.1 Nix CI for bundle 8.17+2.0 #7: Pull request #53 opened by proux01
October 26, 2023 09:57 12m 48s ci_mc210
ci_mc210
October 26, 2023 09:57 12m 48s
[CI] Add MC 2.1 Nix CI for bundle 8.16+2.0 #7: Pull request #53 opened by proux01
October 26, 2023 09:57 12m 50s ci_mc210
ci_mc210
October 26, 2023 09:57 12m 50s
[CI] Add MC 2.1 Docker CI #641: Pull request #53 opened by proux01
October 26, 2023 09:57 12m 45s ci_mc210
ci_mc210
October 26, 2023 09:57 12m 45s
[CI] Add MC 2.1 Nix CI for bundle 8.16+2.0 #6: Pull request #53 opened by proux01
October 26, 2023 09:57 12m 52s
October 26, 2023 09:57 12m 52s
[CI] Add MC 2.1 Nix CI for bundle 8.17+2.0 #6: Pull request #53 opened by proux01
October 26, 2023 09:57 13m 1s
October 26, 2023 09:57 13m 1s
Docker CI Docker CI #640: Scheduled
October 26, 2023 05:10 45m 36s master
master
October 26, 2023 05:10 45m 36s
Docker CI Docker CI #639: Scheduled
October 25, 2023 05:10 42m 30s master
master
October 25, 2023 05:10 42m 30s
Docker CI Docker CI #638: Scheduled
October 24, 2023 05:10 25m 56s master
master
October 24, 2023 05:10 25m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.