Skip to content

Actions: coq-community/coq-nix-toolbox

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
31 workflow run results
31 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

equations: 1.3.1 for Coq 8.20 Nix CI for bundle 8.20 #31: Pull request #235 opened by vbgl
July 19, 2024 08:32 3h 17m 58s vbgl:equations-1.3.1-8.20
vbgl:equations-1.3.1-8.20
July 19, 2024 08:32 3h 17m 58s
equations: 1.3.1 for Coq 8.20 Nix CI for bundle 8.20 #30: Pull request #235 opened by vbgl
July 19, 2024 08:32 3h 16m 13s
July 19, 2024 08:32 3h 16m 13s
proposal for an executive summary Nix CI for bundle 8.20 #29: Pull request #226 synchronize by affeldt-aist
July 19, 2024 08:13 3h 31m 22s
July 19, 2024 08:13 3h 31m 22s
proposal for an executive summary Nix CI for bundle 8.20 #28: Pull request #226 synchronize by affeldt-aist
July 19, 2024 08:11 3h 28m 32s
July 19, 2024 08:11 3h 28m 32s
proposal for an executive summary Nix CI for bundle 8.20 #27: Pull request #226 synchronize by affeldt-aist
July 19, 2024 08:10 3h 19m 28s
July 19, 2024 08:10 3h 19m 28s
proposal for an executive summary Nix CI for bundle 8.20 #26: Pull request #226 synchronize by affeldt-aist
July 19, 2024 08:10 3h 16m 11s
July 19, 2024 08:10 3h 16m 11s
Merge pull request #234 from coq-community/vscoq-2.1.4 Nix CI for bundle 8.20 #25: Commit 49d53bf pushed by CohenCyril
July 18, 2024 08:34 43m 44s master
master
July 18, 2024 08:34 43m 44s
vscoq-language-server 2.1.4 Nix CI for bundle 8.20 #24: Pull request #234 opened by CohenCyril
July 17, 2024 15:11 51m 28s vscoq-2.1.4
vscoq-2.1.4
July 17, 2024 15:11 51m 28s
vscoq-language-server 2.1.4 Nix CI for bundle 8.20 #23: Pull request #234 opened by CohenCyril
July 17, 2024 15:11 49m 59s
July 17, 2024 15:11 49m 59s
Merge pull request #233 from proux01/multinomials_coq_makefile Nix CI for bundle 8.20 #22: Commit 21cbd87 pushed by proux01
July 16, 2024 13:04 55m 55s master
master
July 16, 2024 13:04 55m 55s
coqPackages.multinomials back to coq_makefile Nix CI for bundle 8.20 #21: Pull request #233 synchronize by proux01
July 16, 2024 11:19 1h 5m 31s
July 16, 2024 11:19 1h 5m 31s
coqPackages.multinomials back to coq_makefile Nix CI for bundle 8.20 #20: Pull request #233 opened by proux01
July 15, 2024 14:34 2h 35m 30s
July 15, 2024 14:34 2h 35m 30s
smtcoq: 2.1 → 2.2 (#232) Nix CI for bundle 8.20 #19: Commit 66abb68 pushed by vbgl
July 4, 2024 05:04 51m 3s master
master
July 4, 2024 05:04 51m 3s
smtcoq: 2.1 → 2.2 Nix CI for bundle 8.20 #18: Pull request #232 synchronize by vbgl
July 3, 2024 18:45 1h 10m 20s
July 3, 2024 18:45 1h 10m 20s
smtcoq: 2.1 → 2.2 Nix CI for bundle 8.20 #17: Pull request #232 opened by vbgl
July 2, 2024 07:16 1h 11m 56s
July 2, 2024 07:16 1h 11m 56s
Merge pull request #231 from proux01/mc820 Nix CI for bundle 8.20 #16: Commit f1283b3 pushed by proux01
July 1, 2024 15:53 47m 14s master
master
July 1, 2024 15:53 47m 14s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #15: Pull request #231 synchronize by proux01
July 1, 2024 13:12 46m 29s proux01:mc820
proux01:mc820
July 1, 2024 13:12 46m 29s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #14: Pull request #231 synchronize by proux01
July 1, 2024 13:12 46m 42s
July 1, 2024 13:12 46m 42s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #13: Pull request #231 synchronize by proux01
June 30, 2024 11:43 54m 7s proux01:mc820
proux01:mc820
June 30, 2024 11:43 54m 7s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #12: Pull request #231 synchronize by proux01
June 30, 2024 11:43 54m 10s
June 30, 2024 11:43 54m 10s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #11: Pull request #231 synchronize by proux01
June 30, 2024 10:09 6m 29s proux01:mc820
proux01:mc820
June 30, 2024 10:09 6m 29s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #10: Pull request #231 synchronize by proux01
June 30, 2024 10:09 5m 50s
June 30, 2024 10:09 5m 50s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #9: Pull request #231 opened by proux01
June 30, 2024 09:33 33m 12s proux01:mc820
proux01:mc820
June 30, 2024 09:33 33m 12s
Add mathcomp-2 on Coq 8.20 Nix CI for bundle 8.20 #8: Pull request #231 opened by proux01
June 30, 2024 09:33 34m 16s
June 30, 2024 09:33 34m 16s
Merge pull request #229 from proux01/coq820 Nix CI for bundle 8.20 #7: Commit 7639149 pushed by proux01
June 29, 2024 10:01 50m 22s master
master
June 29, 2024 10:01 50m 22s