Skip to content

Actions: SSProve/ssprove

Actions

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.18.yml
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Jasmin, Mathcomp2 and Coq.8.18.0-8.20.0 Nix CI for bundle 8.18 #29: Pull request #53 synchronize by 4ever2
January 24, 2025 16:03 4m 11s 4ever2:jasmin-coq.8.19.0
4ever2:jasmin-coq.8.19.0
January 24, 2025 16:03 4m 11s
Jasmin, Mathcomp2 and Coq.8.18.0-8.20.0 Nix CI for bundle 8.18 #28: Pull request #53 synchronize by 4ever2
January 24, 2025 16:03 3m 44s
January 24, 2025 16:03 3m 44s
Merge pull request #52 from 4ever2/ci-fixes Nix CI for bundle 8.18 #27: Commit b5b89d6 pushed by 4ever2
January 22, 2025 16:55 2m 27s main
main
January 22, 2025 16:55 2m 27s
Jasmin, Mathcomp2 and Coq.8.18.0-8.20.0 Nix CI for bundle 8.18 #26: Pull request #53 opened by 4ever2
January 22, 2025 16:54 4m 13s 4ever2:jasmin-coq.8.19.0
4ever2:jasmin-coq.8.19.0
January 22, 2025 16:54 4m 13s
Jasmin, Mathcomp2 and Coq.8.18.0-8.20.0 Nix CI for bundle 8.18 #25: Pull request #53 opened by 4ever2
January 22, 2025 16:54 3m 34s
January 22, 2025 16:54 3m 34s
Adapt CI to upcoming GitHub actions changes Nix CI for bundle 8.18 #24: Pull request #52 opened by 4ever2
January 14, 2025 21:08 11m 19s
January 14, 2025 21:08 11m 19s
Merge pull request #51 from 4ever2/nix Nix CI for bundle 8.18 #23: Commit 9114e44 pushed by 4ever2
December 18, 2024 10:15 10m 58s main
main
December 18, 2024 10:15 10m 58s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.18 #22: Pull request #51 synchronize by 4ever2
December 17, 2024 16:08 10m 44s 4ever2:nix
4ever2:nix
December 17, 2024 16:08 10m 44s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.18 #21: Pull request #51 synchronize by 4ever2
December 17, 2024 16:08 11m 9s
December 17, 2024 16:08 11m 9s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.18 #20: Pull request #51 opened by 4ever2
December 17, 2024 15:49 25m 40s
December 17, 2024 15:49 25m 40s
Avoid duplicate builds of mathcomp in CI Nix CI for bundle 8.18 #19: Pull request #51 opened by 4ever2
December 17, 2024 15:49 24m 39s 4ever2:nix
4ever2:nix
December 17, 2024 15:49 24m 39s
Merge pull request #50 from 4ever2/cachix Nix CI for bundle 8.18 #18: Commit 72294c1 pushed by 4ever2
December 17, 2024 14:56 43m 29s main
main
December 17, 2024 14:56 43m 29s
Configure SSProve nix cache Nix CI for bundle 8.18 #17: Pull request #50 opened by 4ever2
December 17, 2024 13:57 54m 45s 4ever2:cachix
4ever2:cachix
December 17, 2024 13:57 54m 45s
Configure SSProve nix cache Nix CI for bundle 8.18 #16: Pull request #50 opened by 4ever2
December 17, 2024 13:57 54m 1s
December 17, 2024 13:57 54m 1s
Merge pull request #49 from 4ever2/mathcomp-2.3.0 Nix CI for bundle 8.18 #15: Commit cb4a367 pushed by 4ever2
December 3, 2024 14:47 54m 43s main
main
December 3, 2024 14:47 54m 43s
Compatibility with mathcomp 2.3.0 Nix CI for bundle 8.18 #14: Pull request #49 opened by 4ever2
December 1, 2024 18:38 53m 54s
December 1, 2024 18:38 53m 54s
Merge pull request #48 from 4ever2/coq-8.20 Nix CI for bundle 8.18 #13: Commit d199572 pushed by 4ever2
November 27, 2024 13:23 54m 23s main
main
November 27, 2024 13:23 54m 23s
Coq 8.20 compatibility Nix CI for bundle 8.18 #12: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 54m 1s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 21:25 54m 1s
Coq 8.20 compatibility Nix CI for bundle 8.18 #11: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 55m 0s
November 26, 2024 21:25 55m 0s
Coq 8.20 compatibility Nix CI for bundle 8.18 #10: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 10m 43s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 20:24 10m 43s
Coq 8.20 compatibility Nix CI for bundle 8.18 #9: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 10m 50s
November 26, 2024 20:24 10m 50s
Coq 8.20 compatibility Nix CI for bundle 8.18 #8: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 10m 29s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:48 10m 29s
Coq 8.20 compatibility Nix CI for bundle 8.18 #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.18 #6: Pull request #48 opened by 4ever2
November 26, 2024 17:43 4m 48s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:43 4m 48s
Coq 8.20 compatibility Nix CI for bundle 8.18 #5: Pull request #48 opened by 4ever2
November 26, 2024 17:43 4m 50s
November 26, 2024 17:43 4m 50s