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

Docker CI Docker CI #932: Scheduled
July 24, 2024 05:12 27m 31s master
master
July 24, 2024 05:12 27m 31s
Docker CI Docker CI #931: Scheduled
July 23, 2024 05:13 46m 46s master
master
July 23, 2024 05:13 46m 46s
Docker CI Docker CI #930: Scheduled
July 22, 2024 05:13 35m 32s master
master
July 22, 2024 05:13 35m 32s
Docker CI Docker CI #929: Scheduled
July 21, 2024 05:13 36m 10s master
master
July 21, 2024 05:13 36m 10s
Docker CI Docker CI #928: Scheduled
July 20, 2024 05:12 35m 38s master
master
July 20, 2024 05:12 35m 38s
Docker CI Docker CI #927: Scheduled
July 19, 2024 05:13 35m 50s master
master
July 19, 2024 05:13 35m 50s
Docker CI Docker CI #926: Scheduled
July 18, 2024 05:12 36m 5s master
master
July 18, 2024 05:12 36m 5s
Docker CI Docker CI #925: Scheduled
July 17, 2024 05:12 20m 15s master
master
July 17, 2024 05:12 20m 15s
Docker CI Docker CI #924: Scheduled
July 16, 2024 05:12 36m 37s master
master
July 16, 2024 05:12 36m 37s
Docker CI Docker CI #923: Scheduled
July 15, 2024 05:12 29m 2s master
master
July 15, 2024 05:12 29m 2s
Docker CI Docker CI #922: Scheduled
July 14, 2024 05:13 20m 41s master
master
July 14, 2024 05:13 20m 41s
Docker CI Docker CI #921: Scheduled
July 13, 2024 05:12 20m 34s master
master
July 13, 2024 05:12 20m 34s
Docker CI Docker CI #920: Scheduled
July 12, 2024 05:12 43m 22s master
master
July 12, 2024 05:12 43m 22s
Docker CI Docker CI #919: Scheduled
July 11, 2024 05:12 43m 0s master
master
July 11, 2024 05:12 43m 0s
Docker CI Docker CI #918: Scheduled
July 10, 2024 05:12 42m 46s master
master
July 10, 2024 05:12 42m 46s
Docker CI Docker CI #917: Scheduled
July 9, 2024 05:12 43m 37s master
master
July 9, 2024 05:12 43m 37s
Docker CI Docker CI #916: Scheduled
July 8, 2024 05:14 42m 46s master
master
July 8, 2024 05:14 42m 46s
Docker CI Docker CI #915: Scheduled
July 7, 2024 05:14 42m 30s master
master
July 7, 2024 05:14 42m 30s
Docker CI Docker CI #914: Scheduled
July 6, 2024 05:12 42m 57s master
master
July 6, 2024 05:12 42m 57s
Docker CI Docker CI #913: Scheduled
July 5, 2024 05:11 43m 4s master
master
July 5, 2024 05:11 43m 4s
Docker CI Docker CI #912: Scheduled
July 4, 2024 05:13 55m 27s master
master
July 4, 2024 05:13 55m 27s
Docker CI Docker CI #911: Scheduled
July 3, 2024 05:13 42m 50s master
master
July 3, 2024 05:13 42m 50s
Merge pull request #60 from coq-community/add-hal-paper Nix CI for bundle 8.18+2.0 #15: Commit c9429eb pushed by palmskog
July 2, 2024 22:26 1m 59s master
master
July 2, 2024 22:26 1m 59s
Merge pull request #60 from coq-community/add-hal-paper Nix CI for bundle 8.16+2.0 #27: Commit c9429eb pushed by palmskog
July 2, 2024 22:26 2m 2s master
master
July 2, 2024 22:26 2m 2s
Merge pull request #60 from coq-community/add-hal-paper Nix CI for bundle 8.17+2.0 #27: Commit c9429eb pushed by palmskog
July 2, 2024 22:26 2m 3s master
master
July 2, 2024 22:26 2m 3s