Skip to content

Actions: SSProve/ssprove

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,052 workflow runs
1,052 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #97 from MarkusKL/simpler-nominal-semantics-proof Nix CI for bundle 9.0 #140: Commit 4091038 pushed by 4ever2
3m 16s main
main
3m 16s
Merge pull request #97 from MarkusKL/simpler-nominal-semantics-proof Flake build #133: Commit 4091038 pushed by 4ever2
7m 10s main
main
7m 10s
Merge pull request #97 from MarkusKL/simpler-nominal-semantics-proof Nix CI for bundle 9.1 #9: Commit 4091038 pushed by 4ever2
3m 18s main
main
3m 18s
Merge pull request #97 from MarkusKL/simpler-nominal-semantics-proof Opam build #133: Commit 4091038 pushed by 4ever2
7m 2s main
main
7m 2s
Merge pull request #97 from MarkusKL/simpler-nominal-semantics-proof Nix CI for bundle 8.20 #178: Commit 4091038 pushed by 4ever2
2m 25s main
main
2m 25s
Simpler nominal semantics proof Flake build #132: Pull request #97 synchronize by MarkusKL
6m 37s MarkusKL:simpler-nominal-semantics-proof
MarkusKL:simpler-nominal-semantics-proof
6m 37s
Simpler nominal semantics proof Opam build #132: Pull request #97 synchronize by MarkusKL
7m 25s MarkusKL:simpler-nominal-semantics-proof
MarkusKL:simpler-nominal-semantics-proof
7m 25s
Simpler nominal semantics proof Nix CI for bundle 9.1 #8: Pull request #97 synchronize by MarkusKL
8m 35s
8m 35s
Simpler nominal semantics proof Nix CI for bundle 9.0 #139: Pull request #97 synchronize by MarkusKL
8m 8s
8m 8s
Simpler nominal semantics proof Nix CI for bundle MC-dev #116: Pull request #97 synchronize by MarkusKL
8m 19s
8m 19s
Simpler nominal semantics proof Nix CI for bundle 8.20 #177: Pull request #97 synchronize by MarkusKL
8m 47s
8m 47s
Simpler nominal semantics proof Opam build #131: Pull request #97 opened by MarkusKL
6m 2s MarkusKL:simpler-nominal-semantics-proof
MarkusKL:simpler-nominal-semantics-proof
6m 2s
Simpler nominal semantics proof Flake build #131: Pull request #97 opened by MarkusKL
6m 12s MarkusKL:simpler-nominal-semantics-proof
MarkusKL:simpler-nominal-semantics-proof
6m 12s
Simpler nominal semantics proof Nix CI for bundle 8.20 #176: Pull request #97 opened by MarkusKL
8m 53s
8m 53s
Simpler nominal semantics proof Nix CI for bundle 9.0 #138: Pull request #97 opened by MarkusKL
8m 3s
8m 3s
Simpler nominal semantics proof Nix CI for bundle MC-dev #115: Pull request #97 opened by MarkusKL
37m 31s
37m 31s
Simpler nominal semantics proof Nix CI for bundle 9.1 #7: Pull request #97 opened by MarkusKL
9m 24s
9m 24s
Add some useful advantage properties Opam build #130: Pull request #83 synchronize by 4ever2
7m 24s advantage-properties
advantage-properties
7m 24s
Add some useful advantage properties Flake build #130: Pull request #83 synchronize by 4ever2
6m 36s advantage-properties
advantage-properties
6m 36s
Add some useful advantage properties Nix CI for bundle 8.20 #175: Pull request #83 synchronize by 4ever2
8m 28s
8m 28s
Add some useful advantage properties Nix CI for bundle 9.0 #137: Pull request #83 synchronize by 4ever2
8m 9s
8m 9s
Add some useful advantage properties Nix CI for bundle 9.1 #6: Pull request #83 synchronize by 4ever2
8m 25s
8m 25s
Add some useful advantage properties Nix CI for bundle MC-dev #114: Pull request #83 synchronize by 4ever2
28m 4s
28m 4s
Merge pull request #91 from SSProve/coq-9.1 Nix CI for bundle 8.20 #174: Commit 6ec7d0d pushed by 4ever2
2m 34s main
main
2m 34s
Merge pull request #91 from SSProve/coq-9.1 Nix CI for bundle 9.0 #136: Commit 6ec7d0d pushed by 4ever2
3m 19s main
main
3m 19s