Skip to content

Actions: SSProve/ssprove

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
November 26, 2024 21:25 33m 56s
Coq 8.20 compatibility
Nix CI for bundle 8.20 #4: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 34m 34s 4ever2:coq-8.20
November 26, 2024 21:25 34m 34s
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
November 26, 2024 21:25 54m 1s
Coq 8.20 compatibility
Flake build #8: Pull request #48 synchronize by 4ever2
November 26, 2024 21:25 29m 6s 4ever2:coq-8.20
November 26, 2024 21:25 29m 6s
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.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.18 #10: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 10m 43s 4ever2:coq-8.20
November 26, 2024 20:24 10m 43s
Coq 8.20 compatibility
Nix CI for bundle 8.20 #3: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 45s 4ever2:coq-8.20
November 26, 2024 20:24 45s
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
November 26, 2024 20:24 11m 31s
Coq 8.20 compatibility
Opam build #7: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 8m 49s 4ever2:coq-8.20
November 26, 2024 20:24 8m 49s
Coq 8.20 compatibility
Flake build #7: Pull request #48 synchronize by 4ever2
November 26, 2024 20:24 29m 8s 4ever2:coq-8.20
November 26, 2024 20:24 29m 8s
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.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.18 #8: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 10m 29s 4ever2:coq-8.20
November 26, 2024 17:48 10m 29s
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
November 26, 2024 17:48 10m 57s
Coq 8.20 compatibility
Nix CI for bundle 8.20 #2: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 36m 30s 4ever2:coq-8.20
November 26, 2024 17:48 36m 30s
Coq 8.20 compatibility
Flake build #6: Pull request #48 synchronize by 4ever2
November 26, 2024 17:48 28m 40s 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
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
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
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
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
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
November 26, 2024 17:43 4m 48s