pavpanchekha/setup-z3
Install Z3 to the PATH
More in GitHub Actions
All 2,000- AutumnWhj/sync-branches-action 分支同步：当前分支更新，自动同步到目标分支代码，有合并限制的分支可自动创建一个PR，同时发送更新分支commits信息
- luisnquin/setup-gofumpt Install Gofumpt formatter
- byunguk/jira-issue-type There are five issue types; Epic, Story, Task, Sub-task and Bug
- pjquirk/harvest-action Collect usage statistics for languages for Linguist
- 42ByteLabs/patch-release-me Patch Release Me GitHub Action
- gulpjs/prettier_action Automatically runs prettier on all your changes.
- bcho/aks-set-context Sets the kubeconfig on the machine to communicate with the Azure Kubernetes cluster.
- catchpoint/workflow-telemetry-action Workflow Telemetry
- vineetmimrot/azure-rest-api-specs GitHub Action to Sync Files like Workflows Between Repositories.
- jazzido/pup-action Read a URL and run pup on it
- mxcl/get-swift-version Sets various outputs for the active Swift version. Optionally provides a requires input for enforcing the active version semantically.
- parcio/partdiff_tester Runs correctness tests on a partdiff executable