Skip to content

Actions: cda-tum/setup-z3

Actions

units-test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️🪝 update pre-commit hooks (#258) units-test #710: Commit 49e3297 pushed by burgholzer
November 13, 2023 18:19 10m 24s main
main
November 13, 2023 18:19 10m 24s
⬆️🪝 update pre-commit hooks units-test #709: Pull request #258 opened by pre-commit-ci bot
November 13, 2023 17:35 31m 15s pre-commit-ci-update-config
pre-commit-ci-update-config
November 13, 2023 17:35 31m 15s
Build(deps-dev): Bump the development-dependencies group with 3 updat… units-test #708: Commit 3a9d5f4 pushed by dependabot bot
November 13, 2023 16:24 23m 40s main
main
November 13, 2023 16:24 23m 40s
Build(deps-dev): Bump the development-dependencies group with 3 updates units-test #707: Pull request #257 opened by dependabot bot
November 13, 2023 05:42 16m 37s dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
November 13, 2023 05:42 16m 37s