Skip to content

Actions: coq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
481 workflow runs
481 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
Docker CI Docker CI #629: Scheduled
October 15, 2023 05:09 23m 25s master
master
October 15, 2023 05:09 23m 25s
Docker CI Docker CI #628: Scheduled
October 14, 2023 05:09 26m 0s master
master
October 14, 2023 05:09 26m 0s
Docker CI Docker CI #627: Scheduled
October 13, 2023 05:10 23m 13s master
master
October 13, 2023 05:10 23m 13s
Docker CI Docker CI #626: Scheduled
October 12, 2023 05:10 24m 18s master
master
October 12, 2023 05:10 24m 18s
Docker CI Docker CI #625: Scheduled
October 11, 2023 05:10 27m 28s master
master
October 11, 2023 05:10 27m 28s
Docker CI Docker CI #624: Scheduled
October 10, 2023 05:10 24m 26s master
master
October 10, 2023 05:10 24m 26s
Docker CI Docker CI #623: Scheduled
October 9, 2023 05:10 28m 26s master
master
October 9, 2023 05:10 28m 26s
Docker CI Docker CI #622: Scheduled
October 8, 2023 05:09 22m 32s master
master
October 8, 2023 05:09 22m 32s
Docker CI Docker CI #621: Scheduled
October 7, 2023 05:09 22m 49s master
master
October 7, 2023 05:09 22m 49s
Docker CI Docker CI #620: Scheduled
October 6, 2023 05:10 26m 34s master
master
October 6, 2023 05:10 26m 34s
Docker CI Docker CI #619: Scheduled
October 5, 2023 05:10 27m 0s master
master
October 5, 2023 05:10 27m 0s
Docker CI Docker CI #618: Scheduled
October 4, 2023 05:10 26m 15s master
master
October 4, 2023 05:10 26m 15s
Docker CI Docker CI #617: Scheduled
October 3, 2023 05:09 23m 16s master
master
October 3, 2023 05:09 23m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.