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

⬆️🪝 update pre-commit hooks Release Drafter #323: Pull request #262 opened by pre-commit-ci bot
November 27, 2023 17:25 49m 4s
November 27, 2023 17:25 49m 4s
⬆️🪝 update pre-commit hooks CodeQL #1074: Pull request #262 opened by pre-commit-ci bot
November 27, 2023 17:25 59m 57s pre-commit-ci-update-config
pre-commit-ci-update-config
November 27, 2023 17:25 59m 57s
⬆️🪝 update pre-commit hooks units-test #716: Pull request #262 opened by pre-commit-ci bot
November 27, 2023 17:25 58m 27s pre-commit-ci-update-config
pre-commit-ci-update-config
November 27, 2023 17:25 58m 27s
⬆️🪝 update pre-commit hooks Check dist/ #723: Pull request #262 opened by pre-commit-ci bot
November 27, 2023 17:25 49m 43s pre-commit-ci-update-config
pre-commit-ci-update-config
November 27, 2023 17:25 49m 43s
⬆️🪝 update pre-commit hooks CodeQL #1073: Commit b16ff55 pushed by pre-commit-ci bot
November 27, 2023 17:25 50m 1s pre-commit-ci-update-config
pre-commit-ci-update-config
November 27, 2023 17:25 50m 1s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #322: Commit 3537906 pushed by dependabot bot
November 27, 2023 07:10 12s main
main
November 27, 2023 07:10 12s
Build(deps-dev): Bump the development-dependencies group with 4 updat… units-test #715: Commit 3537906 pushed by dependabot bot
November 27, 2023 07:10 1m 2s main
main
November 27, 2023 07:10 1m 2s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Check dist/ #722: Commit 3537906 pushed by dependabot bot
November 27, 2023 07:10 2m 49s main
main
November 27, 2023 07:10 2m 49s
Build(deps-dev): Bump the development-dependencies group with 4 updat… CodeQL #1072: Commit 3537906 pushed by dependabot bot
November 27, 2023 07:10 1m 41s main
main
November 27, 2023 07:10 1m 41s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #321: Pull request #261 opened by dependabot bot
November 27, 2023 05:09 12s
November 27, 2023 05:09 12s
Build(deps-dev): Bump the development-dependencies group with 4 updates Check dist/ #721: Pull request #261 opened by dependabot bot
November 27, 2023 05:09 2m 46s dependabot/npm_and_yarn/development-dependencies-582a0c5674
dependabot/npm_and_yarn/development-dependencies-582a0c5674
November 27, 2023 05:09 2m 46s
Build(deps-dev): Bump the development-dependencies group with 4 updates units-test #714: Pull request #261 opened by dependabot bot
November 27, 2023 05:09 37m 5s dependabot/npm_and_yarn/development-dependencies-582a0c5674
dependabot/npm_and_yarn/development-dependencies-582a0c5674
November 27, 2023 05:09 37m 5s
Build(deps-dev): Bump the development-dependencies group with 4 updates CodeQL #1071: Pull request #261 opened by dependabot bot
November 27, 2023 05:09 1m 37s dependabot/npm_and_yarn/development-dependencies-582a0c5674
dependabot/npm_and_yarn/development-dependencies-582a0c5674
November 27, 2023 05:09 1m 37s
Build(deps-dev): Bump the development-dependencies group with 4 updates CodeQL #1070: Commit bcc1dcd pushed by dependabot bot
November 27, 2023 05:09 1m 40s dependabot/npm_and_yarn/development-dependencies-582a0c5674
dependabot/npm_and_yarn/development-dependencies-582a0c5674
November 27, 2023 05:09 1m 40s
Build(deps): Bump the production-dependencies group with 1 update Release Drafter #320: Pull request #260 opened by dependabot bot
November 27, 2023 05:08 13s
November 27, 2023 05:08 13s
Build(deps): Bump the production-dependencies group with 1 update CodeQL #1069: Pull request #260 opened by dependabot bot
November 27, 2023 05:08 1m 45s dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
November 27, 2023 05:08 1m 45s
Build(deps): Bump the production-dependencies group with 1 update Check dist/ #720: Pull request #260 opened by dependabot bot
November 27, 2023 05:08 37s dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
November 27, 2023 05:08 37s
Build(deps): Bump the production-dependencies group with 1 update units-test #713: Pull request #260 opened by dependabot bot
November 27, 2023 05:08 38m 4s dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
November 27, 2023 05:08 38m 4s
Build(deps): Bump the production-dependencies group with 1 update CodeQL #1068: Commit 1492827 pushed by dependabot bot
November 27, 2023 05:08 1m 43s dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
dependabot/npm_and_yarn/production-dependencies-ff4b0d7a3d
November 27, 2023 05:08 1m 43s
CodeQL CodeQL #1067: Scheduled
November 22, 2023 07:34 1m 14s main
main
November 22, 2023 07:34 1m 14s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #319: Commit 5a992eb pushed by dependabot bot
November 20, 2023 08:36 17s main
main
November 20, 2023 08:36 17s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Check dist/ #719: Commit 5a992eb pushed by dependabot bot
November 20, 2023 08:36 2m 46s main
main
November 20, 2023 08:36 2m 46s
Build(deps-dev): Bump the development-dependencies group with 4 updat… CodeQL #1066: Commit 5a992eb pushed by dependabot bot
November 20, 2023 08:36 1m 18s main
main
November 20, 2023 08:36 1m 18s
Build(deps-dev): Bump the development-dependencies group with 4 updat… units-test #712: Commit 5a992eb pushed by dependabot bot
November 20, 2023 08:36 56s main
main
November 20, 2023 08:36 56s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #318: Pull request #259 opened by dependabot bot
November 20, 2023 05:21 13s
November 20, 2023 05:21 13s
ProTip! You can narrow down the results and go further in time using created:<2023-11-20 or the other filters available.