Bump version and make master job · Workflow runs · runtimeverification/k · GitHub

Actions

All workflows
Workflows
- Bump version and make master job Bump version and make master job
- Lint GitHub Actions workflows Lint GitHub Actions workflows
- Master Push Master Push
- pages-build-deployment pages-build-deployment
- Release Release
- Release (for debugging) Release (for debugging)
- Test PR Test PR
- Test PR Test PR
- Update Nix Flake Inputs Update Nix Flake Inputs
Management
- Caches
- Deployments

Bump version and make master job

Actions

Loading...
Loading

99 workflow runs

99 workflow runs

This workflow has no runs yet.