Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,083 workflow runs
6,083 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coqutil 0.0.5/0.0.6 Nix CI for bundle 8.20 #218: Pull request #275 synchronize by vbgl
October 17, 2024 08:17 34m 2s
October 17, 2024 08:17 34m 2s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.17 #631: Pull request #275 synchronize by vbgl
October 17, 2024 08:17 34m 22s
October 17, 2024 08:17 34m 22s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.16-mathcomp2 #378: Pull request #275 synchronize by vbgl
October 17, 2024 08:17 34m 47s
October 17, 2024 08:17 34m 47s
coqutil 0.0.5/0.0.6 Nix CI for bundle master #917: Pull request #275 synchronize by vbgl
October 17, 2024 08:17 3m 44s
October 17, 2024 08:17 3m 44s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.16 #703: Pull request #275 opened by vbgl
October 17, 2024 07:00 40m 18s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 07:00 40m 18s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.19 #422: Pull request #275 opened by vbgl
October 17, 2024 07:00 47m 42s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 07:00 47m 42s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.17 #630: Pull request #275 opened by vbgl
October 17, 2024 07:00 41m 3s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 07:00 41m 3s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.18 #502: Pull request #275 opened by vbgl
October 17, 2024 07:00 50m 13s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 07:00 50m 13s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.16-mathcomp2 #377: Pull request #275 opened by vbgl
October 17, 2024 07:00 43m 30s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 07:00 43m 30s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.20 #217: Pull request #275 opened by vbgl
October 17, 2024 07:00 41m 12s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 07:00 41m 12s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.20 #216: Pull request #275 opened by vbgl
October 17, 2024 07:00 41m 21s
October 17, 2024 07:00 41m 21s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.16-mathcomp2 #376: Pull request #275 opened by vbgl
October 17, 2024 07:00 42m 55s
October 17, 2024 07:00 42m 55s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.18 #501: Pull request #275 opened by vbgl
October 17, 2024 07:00 49m 17s
October 17, 2024 07:00 49m 17s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.17 #629: Pull request #275 opened by vbgl
October 17, 2024 07:00 40m 47s
October 17, 2024 07:00 40m 47s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.19 #421: Pull request #275 opened by vbgl
October 17, 2024 07:00 47m 4s
October 17, 2024 07:00 47m 4s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.16 #702: Pull request #275 opened by vbgl
October 17, 2024 07:00 40m 36s
October 17, 2024 07:00 40m 36s
coqutil 0.0.5/0.0.6 Nix CI for bundle master #916: Pull request #275 opened by vbgl
October 17, 2024 07:00 7m 15s
October 17, 2024 07:00 7m 15s
Merge pull request #272 from proux01/parsec_020 Nix CI for bundle 8.16 #701: Commit 6325dec pushed by proux01
October 15, 2024 09:29 27m 12s master
master
October 15, 2024 09:29 27m 12s
Merge pull request #272 from proux01/parsec_020 Nix CI for bundle 8.20 #215: Commit 6325dec pushed by proux01
October 15, 2024 09:29 28m 33s master
master
October 15, 2024 09:29 28m 33s
Merge pull request #272 from proux01/parsec_020 Nix CI for bundle 8.16-mathcomp2 #375: Commit 6325dec pushed by proux01
October 15, 2024 09:29 30m 44s master
master
October 15, 2024 09:29 30m 44s
Merge pull request #272 from proux01/parsec_020 Nix CI for bundle 8.17 #628: Commit 6325dec pushed by proux01
October 15, 2024 09:29 28m 24s master
master
October 15, 2024 09:29 28m 24s
Merge pull request #272 from proux01/parsec_020 Nix CI for bundle 8.19 #420: Commit 6325dec pushed by proux01
October 15, 2024 09:29 33m 58s master
master
October 15, 2024 09:29 33m 58s
Merge pull request #272 from proux01/parsec_020 Nix CI for bundle master #915: Commit 6325dec pushed by proux01
October 15, 2024 09:29 8m 51s master
master
October 15, 2024 09:29 8m 51s
Merge pull request #272 from proux01/parsec_020 Nix CI for bundle 8.18 #500: Commit 6325dec pushed by proux01
October 15, 2024 09:29 35m 46s master
master
October 15, 2024 09:29 35m 46s
coqPackages.json: 0.1.3 -> 0.2.0 Nix CI for bundle 8.17 #627: Pull request #272 synchronize by proux01
October 15, 2024 08:44 31m 21s proux01:parsec_020
proux01:parsec_020
October 15, 2024 08:44 31m 21s