Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1597: Scheduled
June 11, 2025 07:35 5m 33s main
main
June 11, 2025 07:35 5m 33s
⬆️ Bump the development-dependencies group with 3 updates (#384) CodeQL #1596: Commit b5179aa pushed by dependabot bot
June 9, 2025 08:36 1m 6s main
main
June 9, 2025 08:36 1m 6s
⬆️ Bump the development-dependencies group with 3 updates (#384) Check dist/ #999: Commit b5179aa pushed by dependabot bot
June 9, 2025 08:36 23s main
main
June 9, 2025 08:36 23s
⬆️ Bump the development-dependencies group with 3 updates (#384) units-test #992: Commit b5179aa pushed by dependabot bot
June 9, 2025 08:36 53s main
main
June 9, 2025 08:36 53s
⬆️ Bump the development-dependencies group with 3 updates (#384) Release Drafter #599: Commit b5179aa pushed by dependabot bot
June 9, 2025 08:36 10s main
main
June 9, 2025 08:36 10s
⬆️ Bump the development-dependencies group with 3 updates units-test #991: Pull request #384 opened by dependabot bot
June 9, 2025 04:39 39s dependabot/npm_and_yarn/development-dependencies-a26ef9a138
dependabot/npm_and_yarn/development-dependencies-a26ef9a138
June 9, 2025 04:39 39s
⬆️ Bump the development-dependencies group with 3 updates Check dist/ #998: Pull request #384 opened by dependabot bot
June 9, 2025 04:39 23s dependabot/npm_and_yarn/development-dependencies-a26ef9a138
dependabot/npm_and_yarn/development-dependencies-a26ef9a138
June 9, 2025 04:39 23s
⬆️ Bump the development-dependencies group with 3 updates CodeQL #1595: Pull request #384 opened by dependabot bot
June 9, 2025 04:39 1m 12s dependabot/npm_and_yarn/development-dependencies-a26ef9a138
dependabot/npm_and_yarn/development-dependencies-a26ef9a138
June 9, 2025 04:39 1m 12s
⬆️ Bump the development-dependencies group with 3 updates Release Drafter #598: Pull request #384 opened by dependabot bot
June 9, 2025 04:39 8s
June 9, 2025 04:39 8s
⬆️ Bump the development-dependencies group with 3 updates CodeQL #1594: Commit 96831c2 pushed by dependabot bot
June 9, 2025 04:39 1m 14s dependabot/npm_and_yarn/development-dependencies-a26ef9a138
dependabot/npm_and_yarn/development-dependencies-a26ef9a138
June 9, 2025 04:39 1m 14s
⬆️ Bump the production-dependencies group with 2 updates CodeQL #1593: Pull request #381 synchronize by dependabot bot
June 9, 2025 04:27 1m 12s dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
June 9, 2025 04:27 1m 12s
⬆️ Bump the production-dependencies group with 2 updates units-test #990: Pull request #381 synchronize by dependabot bot
June 9, 2025 04:27 55s dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
June 9, 2025 04:27 55s
⬆️ Bump the production-dependencies group with 2 updates Check dist/ #997: Pull request #381 synchronize by dependabot bot
June 9, 2025 04:27 30s dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
June 9, 2025 04:27 30s
⬆️ Bump the production-dependencies group with 2 updates Release Drafter #597: Pull request #381 synchronize by dependabot bot
June 9, 2025 04:27 11s
June 9, 2025 04:27 11s
⬆️ Bump the production-dependencies group with 2 updates CodeQL #1592: Commit ba63f4c pushed by dependabot bot
June 9, 2025 04:27 1m 15s dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
dependabot/npm_and_yarn/production-dependencies-b3d5282d1e
June 9, 2025 04:27 1m 15s
npm_and_yarn in /. for @octokit/core, @octokit/openapi-types - Update #1030181387 Dependabot Updates #149: by dependabot bot
June 9, 2025 04:26 48s main
main
June 9, 2025 04:26 48s
npm_and_yarn in /. - Update #1030181371 Dependabot Updates #148: by dependabot bot
June 9, 2025 04:26 1m 20s main
main
June 9, 2025 04:26 1m 20s
github_actions in /. - Update #1030178589 Dependabot Updates #147: by dependabot bot
June 9, 2025 04:23 39s main
main
June 9, 2025 04:23 39s
CodeQL CodeQL #1591: Scheduled
June 4, 2025 07:34 1m 5s main
main
June 4, 2025 07:34 1m 5s
⬆️ Bump the development-dependencies group with 5 updates (#383) units-test #989: Commit 67b43c2 pushed by dependabot bot
June 2, 2025 06:25 41s main
main
June 2, 2025 06:25 41s
⬆️ Bump the development-dependencies group with 5 updates (#383) Release Drafter #596: Commit 67b43c2 pushed by dependabot bot
June 2, 2025 06:25 9s main
main
June 2, 2025 06:25 9s
⬆️ Bump the development-dependencies group with 5 updates (#383) Check dist/ #996: Commit 67b43c2 pushed by dependabot bot
June 2, 2025 06:25 20s main
main
June 2, 2025 06:25 20s
⬆️ Bump the development-dependencies group with 5 updates (#383) CodeQL #1590: Commit 67b43c2 pushed by dependabot bot
June 2, 2025 06:25 1m 6s main
main
June 2, 2025 06:25 1m 6s
⬆️ Bump the development-dependencies group with 5 updates CodeQL #1589: Pull request #383 opened by dependabot bot
June 2, 2025 05:34 1m 20s dependabot/npm_and_yarn/development-dependencies-a6713cfe7a
dependabot/npm_and_yarn/development-dependencies-a6713cfe7a
June 2, 2025 05:34 1m 20s
⬆️ Bump the development-dependencies group with 5 updates units-test #988: Pull request #383 opened by dependabot bot
June 2, 2025 05:34 50s dependabot/npm_and_yarn/development-dependencies-a6713cfe7a
dependabot/npm_and_yarn/development-dependencies-a6713cfe7a
June 2, 2025 05:34 50s