Skip to content

Actions: SSProve/ssprove

Actions

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.19.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #51 from 4ever2/nix Nix CI for bundle 8.19 #23: Commit 9114e44 pushed by 4ever2
December 18, 2024 10:15 11m 27s main
main
December 18, 2024 10:15 11m 27s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.19 #22: Pull request #51 synchronize by 4ever2
December 17, 2024 16:08 11m 22s 4ever2:nix
4ever2:nix
December 17, 2024 16:08 11m 22s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.19 #21: Pull request #51 synchronize by 4ever2
December 17, 2024 16:08 11m 16s
December 17, 2024 16:08 11m 16s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.19 #20: Pull request #51 opened by 4ever2
December 17, 2024 15:49 11m 18s 4ever2:nix
4ever2:nix
December 17, 2024 15:49 11m 18s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.19 #19: Pull request #51 opened by 4ever2
December 17, 2024 15:49 11m 5s
December 17, 2024 15:49 11m 5s
Merge pull request #50 from 4ever2/cachix Nix CI for bundle 8.19 #18: Commit 72294c1 pushed by 4ever2
December 17, 2024 14:56 23m 8s main
main
December 17, 2024 14:56 23m 8s
Configure SSProve nix cache Nix CI for bundle 8.19 #17: Pull request #50 opened by 4ever2
December 17, 2024 13:57 34m 15s 4ever2:cachix
4ever2:cachix
December 17, 2024 13:57 34m 15s
Configure SSProve nix cache Nix CI for bundle 8.19 #16: Pull request #50 opened by 4ever2
December 17, 2024 13:57 33m 30s
December 17, 2024 13:57 33m 30s
Merge pull request #49 from 4ever2/mathcomp-2.3.0 Nix CI for bundle 8.19 #15: Commit cb4a367 pushed by 4ever2
December 3, 2024 14:47 34m 29s main
main
December 3, 2024 14:47 34m 29s
Compatibility with mathcomp 2.3.0 Nix CI for bundle 8.19 #14: Pull request #49 opened by 4ever2
December 1, 2024 18:38 34m 6s
December 1, 2024 18:38 34m 6s
Merge pull request #48 from 4ever2/coq-8.20 Nix CI for bundle 8.19 #13: Commit d199572 pushed by 4ever2
November 27, 2024 13:23 35m 7s main
main
November 27, 2024 13:23 35m 7s
Coq 8.20 compatibility Nix CI for bundle 8.19 #12: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 33m 56s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 21:25 33m 56s
Coq 8.20 compatibility Nix CI for bundle 8.19 #11: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 33m 38s
November 26, 2024 21:25 33m 38s
Coq 8.20 compatibility Nix CI for bundle 8.19 #10: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 11m 31s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 20:24 11m 31s
Coq 8.20 compatibility Nix CI for bundle 8.19 #9: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 11m 4s
November 26, 2024 20:24 11m 4s
Coq 8.20 compatibility Nix CI for bundle 8.19 #8: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 10m 57s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:48 10m 57s
Coq 8.20 compatibility Nix CI for bundle 8.19 #7: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 10m 57s
November 26, 2024 17:48 10m 57s
Coq 8.20 compatibility Nix CI for bundle 8.19 #6: Pull request #48 opened by 4ever2
November 26, 2024 17:43 4m 40s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:43 4m 40s
Coq 8.20 compatibility Nix CI for bundle 8.19 #5: Pull request #48 opened by 4ever2
November 26, 2024 17:43 4m 55s
November 26, 2024 17:43 4m 55s
Merge pull request #43 from sertel/main Nix CI for bundle 8.19 #4: Commit df91382 pushed by 4ever2
November 26, 2024 16:48 11m 9s main
main
November 26, 2024 16:48 11m 9s
Nix flake suppport and CI Nix CI for bundle 8.19 #3: Pull request #43 synchronize by sertel
November 26, 2024 16:02 11m 44s sertel:main
sertel:main
November 26, 2024 16:02 11m 44s
Nix flake suppport and CI Nix CI for bundle 8.19 #2: Pull request #43 synchronize by sertel
August 12, 2024 11:32 11m 15s sertel:main
sertel:main
August 12, 2024 11:32 11m 15s
Nix flake suppport and CI Nix CI for bundle 8.19 #1: Pull request #43 opened by sertel
August 6, 2024 15:18 11m 39s sertel:main
sertel:main
August 6, 2024 15:18 11m 39s