Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,173 workflow runs
1,173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build(deps): Bump the production-dependencies group with 2 updates (#… units-test #722: Commit a633f73 pushed by dependabot bot
December 4, 2023 07:55 1m 4s main
main
December 4, 2023 07:55 1m 4s
Build(deps): Bump the production-dependencies group with 2 updates Check dist/ #728: Pull request #263 synchronize by burgholzer
December 4, 2023 07:53 2m 45s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 07:53 2m 45s
Build(deps): Bump the production-dependencies group with 2 updates CodeQL #1083: Pull request #263 synchronize by burgholzer
December 4, 2023 07:53 1m 12s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 07:53 1m 12s
Build(deps): Bump the production-dependencies group with 2 updates units-test #721: Pull request #263 synchronize by burgholzer
December 4, 2023 07:53 52s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 07:53 52s
Build(deps): Bump the production-dependencies group with 2 updates Release Drafter #328: Pull request #263 synchronize by burgholzer
December 4, 2023 07:53 16s
December 4, 2023 07:53 16s
📦 run build CodeQL #1082: Commit cded2dd pushed by burgholzer
December 4, 2023 07:53 1m 15s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 07:53 1m 15s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #327: Commit 0bf903a pushed by dependabot bot
December 4, 2023 06:16 15s main
main
December 4, 2023 06:16 15s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Check dist/ #727: Commit 0bf903a pushed by dependabot bot
December 4, 2023 06:16 2m 45s main
main
December 4, 2023 06:16 2m 45s
Build(deps-dev): Bump the development-dependencies group with 4 updat… CodeQL #1081: Commit 0bf903a pushed by dependabot bot
December 4, 2023 06:16 1m 14s main
main
December 4, 2023 06:16 1m 14s
Build(deps-dev): Bump the development-dependencies group with 4 updat… units-test #720: Commit 0bf903a pushed by dependabot bot
December 4, 2023 06:16 1h 12m 48s main
main
December 4, 2023 06:16 1h 12m 48s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #326: Pull request #264 opened by dependabot bot
December 4, 2023 05:15 13s
December 4, 2023 05:15 13s
Build(deps-dev): Bump the development-dependencies group with 4 updates Check dist/ #726: Pull request #264 opened by dependabot bot
December 4, 2023 05:15 2m 51s dependabot/npm_and_yarn/development-dependencies-0357e79396
dependabot/npm_and_yarn/development-dependencies-0357e79396
December 4, 2023 05:15 2m 51s
Build(deps-dev): Bump the development-dependencies group with 4 updates CodeQL #1080: Pull request #264 opened by dependabot bot
December 4, 2023 05:15 1m 19s dependabot/npm_and_yarn/development-dependencies-0357e79396
dependabot/npm_and_yarn/development-dependencies-0357e79396
December 4, 2023 05:15 1m 19s
Build(deps-dev): Bump the development-dependencies group with 4 updates units-test #719: Pull request #264 opened by dependabot bot
December 4, 2023 05:15 59m 48s dependabot/npm_and_yarn/development-dependencies-0357e79396
dependabot/npm_and_yarn/development-dependencies-0357e79396
December 4, 2023 05:15 59m 48s
Build(deps-dev): Bump the development-dependencies group with 4 updates CodeQL #1079: Commit 57f025b pushed by dependabot bot
December 4, 2023 05:15 1m 13s dependabot/npm_and_yarn/development-dependencies-0357e79396
dependabot/npm_and_yarn/development-dependencies-0357e79396
December 4, 2023 05:15 1m 13s
Build(deps): Bump the production-dependencies group with 2 updates Release Drafter #325: Pull request #263 opened by dependabot bot
December 4, 2023 05:14 15s
December 4, 2023 05:14 15s
Build(deps): Bump the production-dependencies group with 2 updates units-test #718: Pull request #263 opened by dependabot bot
December 4, 2023 05:14 1h 0m 5s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 05:14 1h 0m 5s
Build(deps): Bump the production-dependencies group with 2 updates CodeQL #1078: Pull request #263 opened by dependabot bot
December 4, 2023 05:14 1m 14s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 05:14 1m 14s
Build(deps): Bump the production-dependencies group with 2 updates Check dist/ #725: Pull request #263 opened by dependabot bot
December 4, 2023 05:14 44s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 05:14 44s
Build(deps): Bump the production-dependencies group with 2 updates CodeQL #1077: Commit c89c5fa pushed by dependabot bot
December 4, 2023 05:14 1m 25s dependabot/npm_and_yarn/production-dependencies-3eab748754
dependabot/npm_and_yarn/production-dependencies-3eab748754
December 4, 2023 05:14 1m 25s
CodeQL CodeQL #1076: Scheduled
November 29, 2023 07:34 2m 25s main
main
November 29, 2023 07:34 2m 25s
⬆️🪝 update pre-commit hooks (#262) Check dist/ #724: Commit 4c060dd pushed by burgholzer
November 27, 2023 18:25 39m 1s main
main
November 27, 2023 18:25 39m 1s
⬆️🪝 update pre-commit hooks (#262) Release Drafter #324: Commit 4c060dd pushed by burgholzer
November 27, 2023 18:25 30m 13s main
main
November 27, 2023 18:25 30m 13s
⬆️🪝 update pre-commit hooks (#262) units-test #717: Commit 4c060dd pushed by burgholzer
November 27, 2023 18:25 38m 50s main
main
November 27, 2023 18:25 38m 50s
⬆️🪝 update pre-commit hooks (#262) CodeQL #1075: Commit 4c060dd pushed by burgholzer
November 27, 2023 18:25 31m 55s main
main
November 27, 2023 18:25 31m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.