Skip to content

Actions: tamarin-prover/batch-tamarin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Filter tasks by name Test project #82: Pull request #58 opened by nikstuckenbrock
31s nikstuckenbrock:feature/run-specific-task
nikstuckenbrock:feature/run-specific-task
31s
Merge pull request #57 from tamarin-prover/chore/uv-ruff-switch build-and-publish #12: Commit 02f5569 pushed by lmandrelli
52s v1.1.2
v1.1.2
52s
Merge pull request #57 from tamarin-prover/chore/uv-ruff-switch Test project #81: Commit 02f5569 pushed by lmandrelli
14s main
main
14s
Chore/uv ruff switch Test project #80: Pull request #57 synchronize by lmandrelli
33s chore/uv-ruff-switch
chore/uv-ruff-switch
33s
Chore/uv ruff switch Test project #79: Pull request #57 synchronize by lmandrelli
33s chore/uv-ruff-switch
chore/uv-ruff-switch
33s
Chore/uv ruff switch Test project #78: Pull request #57 opened by lmandrelli
30s chore/uv-ruff-switch
chore/uv-ruff-switch
30s
Merge pull request #53 from nikstuckenbrock/feature/more-detailed-cac… Test project #77: Commit d9f19c9 pushed by lmandrelli
14s main
main
14s
Add more detailed cache control Test project #76: Pull request #53 synchronize by nikstuckenbrock
43s nikstuckenbrock:feature/more-detailed-cache-control
nikstuckenbrock:feature/more-detailed-cache-control
43s
Add more detailed cache control Test project #75: Pull request #53 synchronize by nikstuckenbrock
41s nikstuckenbrock:feature/more-detailed-cache-control
nikstuckenbrock:feature/more-detailed-cache-control
41s
Add more detailed cache control Test project #74: Pull request #53 synchronize by nikstuckenbrock
38s nikstuckenbrock:feature/more-detailed-cache-control
nikstuckenbrock:feature/more-detailed-cache-control
38s
Merge pull request #51 from nikstuckenbrock/feature/disable-prefix-ma… Test project #73: Commit 1729f9b pushed by lmandrelli
1m 38s main
main
1m 38s
Add config to disable prefix matching Test project #72: Pull request #51 synchronize by nikstuckenbrock
40s nikstuckenbrock:feature/disable-prefix-matching
nikstuckenbrock:feature/disable-prefix-matching
40s
Add config to disable prefix matching Test project #71: Pull request #51 synchronize by nikstuckenbrock
31s nikstuckenbrock:feature/disable-prefix-matching
nikstuckenbrock:feature/disable-prefix-matching
31s
Add more detailed cache control Test project #70: Pull request #53 opened by nikstuckenbrock
35s nikstuckenbrock:feature/more-detailed-cache-control
nikstuckenbrock:feature/more-detailed-cache-control
35s
Add config to disable prefix matching Test project #69: Pull request #51 synchronize by nikstuckenbrock
35s nikstuckenbrock:feature/disable-prefix-matching
nikstuckenbrock:feature/disable-prefix-matching
35s
Add config to disable prefix matching Test project #68: Pull request #51 opened by nikstuckenbrock
38s nikstuckenbrock:feature/disable-prefix-matching
nikstuckenbrock:feature/disable-prefix-matching
38s
chore(version): bump to v1.1.1 build-and-publish #11: Commit 5f2ce46 pushed by lmandrelli
1m 30s v1.1.1
v1.1.1
1m 30s
chore(version): bump to v1.1.1 Test project #67: Commit 5f2ce46 pushed by lmandrelli
47s main
main
47s
fix(init): fstring syntax Test project #66: Commit 60e8554 pushed by lmandrelli
2m 3s main
main
2m 3s
fix(documentation): wrong defaults in documentation Test project #65: Commit e7a8f7c pushed by lmandrelli
31s main
main
31s
Merge pull request #48 from nikstuckenbrock/patch-1 Test project #64: Commit 2963afb pushed by lmandrelli
11s main
main
11s
Revise report command syntax in README.md Test project #63: Pull request #48 synchronize by nikstuckenbrock
32s nikstuckenbrock:patch-1
nikstuckenbrock:patch-1
32s
Revise report command syntax in README.md Test project #62: Pull request #48 opened by nikstuckenbrock
35s nikstuckenbrock:patch-1
nikstuckenbrock:patch-1
35s
feat(dockerfiles): batch+prover dockerfiles (amd64 untested) Test project #61: Commit e6b3d73 pushed by lmandrelli
53s main
main
53s
chore(docker): update version in nix pkgs Test project #60: Commit 6390fe5 pushed by lmandrelli
42s main
main
42s