Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow run results
19 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1063: Scheduled
November 15, 2023 07:34 19m 3s main
main
November 15, 2023 07:34 19m 3s
⬆️🪝 update pre-commit hooks (#258) Release Drafter #317: Commit 49e3297 pushed by burgholzer
November 13, 2023 18:19 2m 24s main
main
November 13, 2023 18:19 2m 24s
⬆️🪝 update pre-commit hooks (#258) Check dist/ #717: Commit 49e3297 pushed by burgholzer
November 13, 2023 18:19 10m 0s main
main
November 13, 2023 18:19 10m 0s
⬆️🪝 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 (#258) CodeQL #1062: Commit 49e3297 pushed by burgholzer
November 13, 2023 18:19 10m 52s main
main
November 13, 2023 18:19 10m 52s
⬆️🪝 update pre-commit hooks Release Drafter #316: Pull request #258 opened by pre-commit-ci bot
November 13, 2023 17:35 30m 0s
November 13, 2023 17:35 30m 0s
⬆️🪝 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
⬆️🪝 update pre-commit hooks Check dist/ #716: Pull request #258 opened by pre-commit-ci bot
November 13, 2023 17:35 31m 40s pre-commit-ci-update-config
pre-commit-ci-update-config
November 13, 2023 17:35 31m 40s
⬆️🪝 update pre-commit hooks CodeQL #1061: Pull request #258 opened by pre-commit-ci bot
November 13, 2023 17:35 31m 48s pre-commit-ci-update-config
pre-commit-ci-update-config
November 13, 2023 17:35 31m 48s
⬆️🪝 update pre-commit hooks CodeQL #1060: Commit 4abcb40 pushed by pre-commit-ci bot
November 13, 2023 17:35 31m 18s pre-commit-ci-update-config
pre-commit-ci-update-config
November 13, 2023 17:35 31m 18s
Build(deps-dev): Bump the development-dependencies group with 3 updat… Release Drafter #315: Commit 3a9d5f4 pushed by dependabot bot
November 13, 2023 16:24 20m 25s main
main
November 13, 2023 16:24 20m 25s
Build(deps-dev): Bump the development-dependencies group with 3 updat… CodeQL #1059: Commit 3a9d5f4 pushed by dependabot bot
November 13, 2023 16:24 21m 31s main
main
November 13, 2023 16:24 21m 31s
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 updat… Check dist/ #715: Commit 3a9d5f4 pushed by dependabot bot
November 13, 2023 16:24 24m 20s main
main
November 13, 2023 16:24 24m 20s
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
Build(deps-dev): Bump the development-dependencies group with 3 updates Release Drafter #314: Pull request #257 opened by dependabot bot
November 13, 2023 05:42 13s
November 13, 2023 05:42 13s
Build(deps-dev): Bump the development-dependencies group with 3 updates CodeQL #1058: Pull request #257 opened by dependabot bot
November 13, 2023 05:42 2m 9s dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
November 13, 2023 05:42 2m 9s
Build(deps-dev): Bump the development-dependencies group with 3 updates Check dist/ #714: Pull request #257 opened by dependabot bot
November 13, 2023 05:42 2m 51s dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
November 13, 2023 05:42 2m 51s
Build(deps-dev): Bump the development-dependencies group with 3 updates CodeQL #1057: Commit 8dfd6a2 pushed by dependabot bot
November 13, 2023 05:42 1m 46s dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
dependabot/npm_and_yarn/development-dependencies-f78e6cce5d
November 13, 2023 05:42 1m 46s