Skip to content

Actions: SSProve/ssprove

Actions

Nix CI for bundle 9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-9.0.yml
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hybrid Arguments Nix CI for bundle 9.0 #158: Pull request #101 synchronize by MarkusKL
16s
16s
Hybrid Arguments Nix CI for bundle 9.0 #157: Pull request #101 synchronize by MarkusKL
18s
18s
Hybrid Arguments Nix CI for bundle 9.0 #156: Pull request #101 synchronize by MarkusKL
19s
19s
Hybrid Arguments Nix CI for bundle 9.0 #155: Pull request #101 opened by MarkusKL
16s
16s
Merge pull request #100 from SSProve/dependabot Nix CI for bundle 9.0 #154: Commit 9b14e90 pushed by 4ever2
7m 51s main
main
7m 51s
Set up dependabot Nix CI for bundle 9.0 #153: Pull request #100 opened by 4ever2
7m 43s
7m 43s
Merge pull request #99 from SSProve/actions-deps Nix CI for bundle 9.0 #152: Commit a7d9c2f pushed by 4ever2
3m 1s main
main
3m 1s
Update actions dependencies Nix CI for bundle 9.0 #151: Pull request #99 synchronize by 4ever2
7m 18s actions-deps
actions-deps
7m 18s
Update actions dependencies Nix CI for bundle 9.0 #150: Pull request #99 synchronize by 4ever2
7m 23s
7m 23s
Update actions dependencies Nix CI for bundle 9.0 #149: Pull request #99 synchronize by 4ever2
7m 37s actions-deps
actions-deps
7m 37s
Update actions dependencies Nix CI for bundle 9.0 #148: Pull request #99 synchronize by 4ever2
7m 27s
7m 27s
Update actions dependencies Nix CI for bundle 9.0 #147: Pull request #99 opened by 4ever2
7m 46s actions-deps
actions-deps
7m 46s
Update actions dependencies Nix CI for bundle 9.0 #146: Pull request #99 opened by 4ever2
7m 42s
7m 42s
Hybrid arguments (WIP) Nix CI for bundle 9.0 #145: Pull request #95 synchronize by MarkusKL
8m 46s
8m 46s
Hybrid arguments (WIP) Nix CI for bundle 9.0 #144: Pull request #95 synchronize by MarkusKL
8m 28s
8m 28s
Merge pull request #98 from MarkusKL/remove-canonical-element-choice Nix CI for bundle 9.0 #143: Commit 4e851b7 pushed by 4ever2
3m 21s main
main
3m 21s
Lift requirement that choice_types have to be inhabited Nix CI for bundle 9.0 #142: Pull request #98 synchronize by MarkusKL
9m 1s
9m 1s
Lift requirement that choice_types have to be inhabited Nix CI for bundle 9.0 #141: Pull request #98 opened by MarkusKL
8m 19s
8m 19s
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
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 9.0 #138: Pull request #97 opened by MarkusKL
8m 3s
8m 3s
Add some useful advantage properties Nix CI for bundle 9.0 #137: Pull request #83 synchronize by 4ever2
8m 9s
8m 9s
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
Support Rocq 9.1 Nix CI for bundle 9.0 #135: Pull request #91 synchronize by 4ever2
29m 25s coq-9.1
coq-9.1
29m 25s
Support Rocq 9.1 Nix CI for bundle 9.0 #134: Pull request #91 synchronize by 4ever2
36m 20s
36m 20s