Skip to content

Actions: rocq-community/fourcolor

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
75 workflow runs
75 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #82 from rocq-community/ci-update Docker CI #1098: Commit c1d6b1c pushed by proux01
5m 1s master
master
5m 1s
[CI] Update Nix toolbox Docker CI #1097: Pull request #82 opened by proux01
3m 35s ci-update
ci-update
3m 35s
Merge pull request #81 from rocq-community/rocq Docker CI #1096: Commit 7f694a2 pushed by proux01
3m 58s master
master
3m 58s
Compile without coq shims Docker CI #1095: Pull request #81 synchronize by proux01
2m 54s rocq
rocq
2m 54s
Compile without coq shims Docker CI #1094: Pull request #81 synchronize by proux01
3m 7s rocq
rocq
3m 7s
Compile without coq shims Docker CI #1093: Pull request #81 synchronize by proux01
33s rocq
rocq
33s
Compile without coq shims Docker CI #1092: Pull request #81 opened by proux01
2m 59s rocq
rocq
2m 59s
Merge pull request #80 from rocq-community/ci-update Docker CI #1091: Commit 1ba563c pushed by proux01
15m 37s master
master
15m 37s
[CI] Update Nix toolbox Docker CI #1090: Pull request #80 synchronize by proux01
27s ci-update
ci-update
27s
[CI] Update Nix toolbox Docker CI #1089: Pull request #80 synchronize by proux01
15m 11s ci-update
ci-update
15m 11s
[CI] Update Nix toolbox Docker CI #1088: Pull request #80 opened by proux01
15m 27s ci-update
ci-update
15m 27s
Docker CI Docker CI #1087: Scheduled
15m 55s master
master
15m 55s
Docker CI Docker CI #1086: Scheduled
15m 54s master
master
15m 54s
Docker CI Docker CI #1085: Scheduled
14m 48s master
master
14m 48s
Docker CI Docker CI #1084: Scheduled
15m 30s master
master
15m 30s
Compatibility patch for Rocq PR #22272 Docker CI #1083: Pull request #78 opened by olympichek
15m 22s olympichek:ppedrot-global-fix-retyping-master
olympichek:ppedrot-global-fix-retyping-master
15m 22s
Docker CI Docker CI #1082: Scheduled
16m 23s master
master
16m 23s
Docker CI Docker CI #1081: Scheduled
18m 30s master
master
18m 30s
Docker CI Docker CI #1080: Scheduled
15m 27s master
master
15m 27s
Docker CI Docker CI #1079: Scheduled
14m 37s master
master
14m 37s
Docker CI Docker CI #1078: Scheduled
16m 34s master
master
16m 34s
Docker CI Docker CI #1077: Scheduled
15m 50s master
master
15m 50s
Docker CI Docker CI #1076: Scheduled
15m 47s master
master
15m 47s
Docker CI Docker CI #1075: Scheduled
28m 19s master
master
28m 19s
Docker CI Docker CI #1074: Scheduled
13m 26s master
master
13m 26s