Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

Nix CI for bundle 8.17

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17.yml
530 workflow runs
530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coqutil 0.0.5/0.0.6 (#275) Nix CI for bundle 8.17 #635: Commit 38bf063 pushed by vbgl
October 17, 2024 11:44 21m 18s master
master
October 17, 2024 11:44 21m 18s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.17 #634: Pull request #275 synchronize by vbgl
October 17, 2024 09:16 48m 27s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 09:16 48m 27s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.17 #633: Pull request #275 synchronize by vbgl
October 17, 2024 09:16 48m 49s
October 17, 2024 09:16 48m 49s
coqutil 0.0.5/0.0.6 Nix CI for bundle 8.17 #632: Pull request #275 synchronize by vbgl
October 17, 2024 08:17 35m 16s vbgl:coqutil-0.0.6
vbgl:coqutil-0.0.6
October 17, 2024 08:17 35m 16s
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.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.17 #629: Pull request #275 opened by vbgl
October 17, 2024 07:00 40m 47s
October 17, 2024 07:00 40m 47s
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
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
coqPackages.json: 0.1.3 -> 0.2.0 Nix CI for bundle 8.17 #626: Pull request #272 synchronize by proux01
October 15, 2024 08:44 31m 43s
October 15, 2024 08:44 31m 43s
paco 4.2.1 Nix CI for bundle 8.17 #625: Pull request #274 opened by vbgl
October 15, 2024 06:59 28m 27s
October 15, 2024 06:59 28m 27s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.17 #624: Pull request #273 synchronize by vbgl
October 14, 2024 14:16 1h 13m 5s
October 14, 2024 14:16 1h 13m 5s
coqPackages.json: 0.1.3 -> 0.2.0 Nix CI for bundle 8.17 #623: Pull request #272 synchronize by proux01
October 14, 2024 13:23 2h 4m 20s
October 14, 2024 13:23 2h 4m 20s
mathcomp-analysis 1.5.0 Nix CI for bundle 8.17 #622: Pull request #273 opened by vbgl
October 14, 2024 13:05 1h 14m 0s
October 14, 2024 13:05 1h 14m 0s
coqPackages.json: 0.1.3 -> 0.2.0 Nix CI for bundle 8.17 #621: Pull request #272 synchronize by proux01
October 14, 2024 12:15 55m 28s
October 14, 2024 12:15 55m 28s
coqPackages.json: 0.1.3 -> 0.2.0 Nix CI for bundle 8.17 #620: Pull request #272 opened by proux01
October 14, 2024 11:49 17m 56s
October 14, 2024 11:49 17m 56s
Merge pull request #270 from vbgl/mathcomp-analysis-1.4.0 Nix CI for bundle 8.17 #619: Commit e31be6f pushed by proux01
October 14, 2024 11:47 29m 29s master
master
October 14, 2024 11:47 29m 29s
mathcomp-analysis 1.4.0 Nix CI for bundle 8.17 #618: Pull request #270 synchronize by vbgl
October 8, 2024 19:02 24m 10s
October 8, 2024 19:02 24m 10s
mathcomp-analysis 1.4.0 Nix CI for bundle 8.17 #617: Pull request #270 synchronize by vbgl
October 7, 2024 13:54 41m 5s
October 7, 2024 13:54 41m 5s
coqPackages.coq-lsp: 0.2.0 -> 0.2.2 Nix CI for bundle 8.17 #616: Commit e0247d8 pushed by vbgl
October 7, 2024 13:48 45m 49s master
master
October 7, 2024 13:48 45m 49s
coqPackages.coq-lsp: 0.2.0 -> 0.2.2 Nix CI for bundle 8.17 #615: Pull request #271 synchronize by Alizter
October 7, 2024 09:51 23m 36s Alizter:ps/rr/coqpackages_coq_lsp__0_2_0____0_2_2
Alizter:ps/rr/coqpackages_coq_lsp__0_2_0____0_2_2
October 7, 2024 09:51 23m 36s
coqPackages.coq-lsp: 0.2.0 -> 0.2.2 Nix CI for bundle 8.17 #614: Pull request #271 synchronize by Alizter
October 7, 2024 09:51 23m 46s
October 7, 2024 09:51 23m 46s
mathcomp-analysis 1.4.0 Nix CI for bundle 8.17 #613: Pull request #270 synchronize by vbgl
October 7, 2024 03:37 23m 4s
October 7, 2024 03:37 23m 4s
coqPackages.coq-lsp: 0.2.0 -> 0.2.2 Nix CI for bundle 8.17 #612: Pull request #271 opened by Alizter
October 4, 2024 22:45 23m 31s Alizter:ps/rr/coqpackages_coq_lsp__0_2_0____0_2_2
Alizter:ps/rr/coqpackages_coq_lsp__0_2_0____0_2_2
October 4, 2024 22:45 23m 31s
coqPackages.coq-lsp: 0.2.0 -> 0.2.2 Nix CI for bundle 8.17 #611: Pull request #271 opened by Alizter
October 4, 2024 22:45 22m 54s
October 4, 2024 22:45 22m 54s