Skip to content

Actions: coq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
444 workflow runs
444 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
Docker CI Docker CI #637: Scheduled
October 23, 2023 05:10 25m 1s master
master
October 23, 2023 05:10 25m 1s
Docker CI Docker CI #636: Scheduled
October 22, 2023 05:09 22m 43s master
master
October 22, 2023 05:09 22m 43s
Docker CI Docker CI #635: Scheduled
October 21, 2023 05:09 25m 20s master
master
October 21, 2023 05:09 25m 20s
Docker CI Docker CI #634: Scheduled
October 20, 2023 05:10 25m 33s master
master
October 20, 2023 05:10 25m 33s
Docker CI Docker CI #633: Scheduled
October 19, 2023 05:10 24m 45s master
master
October 19, 2023 05:10 24m 45s
Docker CI Docker CI #632: Scheduled
October 18, 2023 05:10 29m 22s master
master
October 18, 2023 05:10 29m 22s
Docker CI Docker CI #631: Scheduled
October 17, 2023 05:10 24m 46s master
master
October 17, 2023 05:10 24m 46s
Docker CI Docker CI #630: Scheduled
October 16, 2023 05:10 22m 40s master
master
October 16, 2023 05:10 22m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.