Skip to content

Actions: SSProve/ssprove

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq 8.20 compatibility Flake build #6: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 28m 40s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:48 28m 40s
Coq 8.20 compatibility Opam build #6: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 13m 34s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:48 13m 34s
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.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.20 #1: Pull request #48 opened by 4ever2
November 26, 2024 17:43 4m 36s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:43 4m 36s
Coq 8.20 compatibility Opam build #5: Pull request #48 opened by 4ever2
November 26, 2024 17:43 1m 12s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:43 1m 12s
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 Flake build #5: Pull request #48 opened by 4ever2
November 26, 2024 17:43 4m 6s 4ever2:coq-8.20
4ever2:coq-8.20
November 26, 2024 17:43 4m 6s
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
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.18 #4: Commit df91382 pushed by 4ever2
November 26, 2024 16:48 11m 5s main
main
November 26, 2024 16:48 11m 5s
Merge pull request #43 from sertel/main Flake build #4: Commit df91382 pushed by 4ever2
November 26, 2024 16:48 28m 49s main
main
November 26, 2024 16:48 28m 49s
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
Merge pull request #43 from sertel/main Opam build #4: Commit df91382 pushed by 4ever2
November 26, 2024 16:48 36m 56s main
main
November 26, 2024 16:48 36m 56s
Merge pull request #47 from 4ever2/analysis-1.7 Test build #465: Commit 7370bd0 pushed by 4ever2
November 26, 2024 16:37 41m 29s main
main
November 26, 2024 16:37 41m 29s
Nix flake suppport and CI Opam build #3: Pull request #43 synchronize by sertel
November 26, 2024 16:02 41m 49s sertel:main
sertel:main
November 26, 2024 16:02 41m 49s
Nix flake suppport and CI Nix CI for bundle 8.18 #3: Pull request #43 synchronize by sertel
November 26, 2024 16:02 11m 32s sertel:main
sertel:main
November 26, 2024 16:02 11m 32s
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 Flake build #3: Pull request #43 synchronize by sertel
November 26, 2024 16:02 28m 35s sertel:main
sertel:main
November 26, 2024 16:02 28m 35s
Support mathcom-analysis 1.7.0 Test build #464: Pull request #47 opened by 4ever2
November 25, 2024 17:31 41m 44s 4ever2:analysis-1.7
4ever2:analysis-1.7
November 25, 2024 17:31 41m 44s
Merge pull request #45 from 4ever2/mathcomp-analysis-fix Test build #463: Commit 050bb61 pushed by 4ever2
November 1, 2024 10:51 41m 35s main
main
November 1, 2024 10:51 41m 35s
Compatibility with MathComp-Analysis master Test build #462: Pull request #45 opened by 4ever2
October 25, 2024 14:34 39m 53s 4ever2:mathcomp-analysis-fix
4ever2:mathcomp-analysis-fix
October 25, 2024 14:34 39m 53s
Nix flake suppport and CI Flake build #2: Pull request #43 synchronize by sertel
August 12, 2024 11:32 28m 49s sertel:main
sertel:main
August 12, 2024 11:32 28m 49s
Nix flake suppport and CI Nix CI for bundle 8.18 #2: Pull request #43 synchronize by sertel
August 12, 2024 11:32 10m 49s sertel:main
sertel:main
August 12, 2024 11:32 10m 49s