Skip to content

Actions: SSProve/ssprove

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
841 workflow runs
841 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1466804326 Dependabot Updates #34: by dependabot Bot
1h 58m 20s main
main
1h 58m 20s
github_actions in /. - Update #1457252284 Dependabot Updates #33: by dependabot Bot
32s main
main
32s
Test MC-dev CI Nix CI for bundle MC-dev #177: Pull request #122 opened by 4ever2
17m 4s test-dev
test-dev
17m 4s
Test MC-dev CI Opam build #200: Pull request #122 opened by 4ever2
5m 42s test-dev
test-dev
5m 42s
Test MC-dev CI Nix CI for bundle 9.1 #92: Pull request #122 opened by 4ever2
28m 12s test-dev
test-dev
28m 12s
Test MC-dev CI Flake build #200: Pull request #122 opened by 4ever2
7m 42s test-dev
test-dev
7m 42s
Test MC-dev CI Nix CI for bundle 9.0 #223: Pull request #122 opened by 4ever2
8m 29s test-dev
test-dev
8m 29s
Test MC-dev CI Nix CI for bundle 9.1 #91: Pull request #122 opened by 4ever2
27m 46s
27m 46s
Test MC-dev CI Nix CI for bundle 9.0 #222: Pull request #122 opened by 4ever2
9m 22s
9m 22s
Test MC-dev CI Nix CI for bundle MC-dev #176: Pull request #122 opened by 4ever2
16m 59s
16m 59s
github_actions in /. - Update #1455165677 Dependabot Updates #32: by dependabot Bot
26s main
main
26s
Merge pull request #121 from SSProve/4ever2-patch-1 Flake build #199: Commit 3740774 pushed by 4ever2
8m 10s main
main
8m 10s
Merge pull request #121 from SSProve/4ever2-patch-1 Opam build #199: Commit 3740774 pushed by 4ever2
5m 33s main
main
5m 33s
Merge pull request #121 from SSProve/4ever2-patch-1 Nix CI for bundle 9.1 #90: Commit 3740774 pushed by 4ever2
8m 51s main
main
8m 51s
Merge pull request #121 from SSProve/4ever2-patch-1 Nix CI for bundle 9.0 #221: Commit 3740774 pushed by 4ever2
8m 14s main
main
8m 14s
Merge pull request #120 from SSProve/dependabot/github_actions/action… Nix CI for bundle 9.0 #220: Commit 3b29406 pushed by 4ever2
8m 46s main
main
8m 46s
Merge pull request #120 from SSProve/dependabot/github_actions/action… Nix CI for bundle 9.1 #89: Commit 3b29406 pushed by 4ever2
8m 49s main
main
8m 49s
Merge pull request #120 from SSProve/dependabot/github_actions/action… Flake build #198: Commit 3b29406 pushed by 4ever2
7m 52s main
main
7m 52s
Merge pull request #120 from SSProve/dependabot/github_actions/action… Opam build #198: Commit 3b29406 pushed by 4ever2
2m 10s main
main
2m 10s
Merge pull request #119 from SSProve/dependabot/github_actions/action… Flake build #197: Commit 676ef22 pushed by 4ever2
7m 48s main
main
7m 48s
Merge pull request #119 from SSProve/dependabot/github_actions/action… Opam build #197: Commit 676ef22 pushed by 4ever2
19m 36s main
main
19m 36s
Merge pull request #119 from SSProve/dependabot/github_actions/action… Nix CI for bundle 9.0 #219: Commit 676ef22 pushed by 4ever2
2m 32s main
main
2m 32s
Merge pull request #119 from SSProve/dependabot/github_actions/action… Nix CI for bundle 9.1 #88: Commit 676ef22 pushed by 4ever2
2m 40s main
main
2m 40s
Update Dependabot label for dependencies Flake build #196: Pull request #121 opened by 4ever2
7m 56s 4ever2-patch-1
4ever2-patch-1
7m 56s
Update Dependabot label for dependencies Opam build #196: Pull request #121 opened by 4ever2
29m 23s 4ever2-patch-1
4ever2-patch-1
29m 23s