Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group Release Drafter #523: Pull request #350 synchronize by burgholzer
January 21, 2025 23:57 16s
January 21, 2025 23:57 16s
📦 update dist CodeQL #1452: Commit d06f5c5 pushed by burgholzer
January 21, 2025 23:57 1m 22s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 21, 2025 23:57 1m 22s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group Release Drafter #522: Pull request #352 opened by dependabot bot
January 21, 2025 23:51 10s
January 21, 2025 23:51 10s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group CodeQL #1451: Pull request #352 opened by dependabot bot
January 21, 2025 23:51 1m 23s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 21, 2025 23:51 1m 23s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group Check dist/ #922: Pull request #352 opened by dependabot bot
January 21, 2025 23:51 26s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 21, 2025 23:51 26s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group units-test #915: Pull request #352 opened by dependabot bot
January 21, 2025 23:51 3m 20s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 21, 2025 23:51 3m 20s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group CodeQL #1450: Commit 69c9a6f pushed by dependabot bot
January 21, 2025 23:51 1m 30s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 21, 2025 23:51 1m 30s
npm_and_yarn in /. for undici - Update #951622468 Dependabot Updates #85: by dependabot bot
January 21, 2025 23:50 55s main
main
January 21, 2025 23:50 55s
⬆️ Bump the development-dependencies group with 3 updates (#351) Release Drafter #521: Commit 696e60f pushed by dependabot bot
January 20, 2025 07:47 13m 22s main
main
January 20, 2025 07:47 13m 22s
⬆️ Bump the development-dependencies group with 3 updates (#351) Check dist/ #921: Commit 696e60f pushed by dependabot bot
January 20, 2025 07:47 27m 48s main
main
January 20, 2025 07:47 27m 48s
⬆️ Bump the development-dependencies group with 3 updates (#351) CodeQL #1449: Commit 696e60f pushed by dependabot bot
January 20, 2025 07:47 50m 45s main
main
January 20, 2025 07:47 50m 45s
⬆️ Bump the development-dependencies group with 3 updates (#351) units-test #914: Commit 696e60f pushed by dependabot bot
January 20, 2025 07:47 55m 41s main
main
January 20, 2025 07:47 55m 41s
⬆️ Bump the development-dependencies group with 3 updates Release Drafter #520: Pull request #351 opened by dependabot bot
January 20, 2025 05:46 14s
January 20, 2025 05:46 14s
⬆️ Bump the development-dependencies group with 3 updates CodeQL #1448: Pull request #351 opened by dependabot bot
January 20, 2025 05:46 1m 30s dependabot/npm_and_yarn/development-dependencies-55baf4af59
dependabot/npm_and_yarn/development-dependencies-55baf4af59
January 20, 2025 05:46 1m 30s
⬆️ Bump the development-dependencies group with 3 updates units-test #913: Pull request #351 opened by dependabot bot
January 20, 2025 05:46 46s dependabot/npm_and_yarn/development-dependencies-55baf4af59
dependabot/npm_and_yarn/development-dependencies-55baf4af59
January 20, 2025 05:46 46s
⬆️ Bump the development-dependencies group with 3 updates Check dist/ #920: Pull request #351 opened by dependabot bot
January 20, 2025 05:46 29s dependabot/npm_and_yarn/development-dependencies-55baf4af59
dependabot/npm_and_yarn/development-dependencies-55baf4af59
January 20, 2025 05:46 29s
⬆️ Bump the development-dependencies group with 3 updates CodeQL #1447: Commit 4b8350c pushed by dependabot bot
January 20, 2025 05:46 1m 22s dependabot/npm_and_yarn/development-dependencies-55baf4af59
dependabot/npm_and_yarn/development-dependencies-55baf4af59
January 20, 2025 05:46 1m 22s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group Check dist/ #919: Pull request #350 opened by dependabot bot
January 20, 2025 05:46 33s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 20, 2025 05:46 33s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group CodeQL #1446: Pull request #350 opened by dependabot bot
January 20, 2025 05:46 1m 30s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 20, 2025 05:46 1m 30s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group units-test #912: Pull request #350 opened by dependabot bot
January 20, 2025 05:46 1m 2s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 20, 2025 05:46 1m 2s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group Release Drafter #519: Pull request #350 opened by dependabot bot
January 20, 2025 05:46 11s
January 20, 2025 05:46 11s
⬆️ Bump @actions/tool-cache in the production-dependencies group CodeQL #1445: Commit ff4abda pushed by dependabot bot
January 20, 2025 05:46 1m 30s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 20, 2025 05:46 1m 30s
npm_and_yarn in /. - Update #950215956 Dependabot Updates #84: by dependabot bot
January 20, 2025 05:45 1m 19s main
main
January 20, 2025 05:45 1m 19s
github_actions in /. - Update #950210778 Dependabot Updates #83: by dependabot bot
January 20, 2025 05:38 44s main
main
January 20, 2025 05:38 44s
CodeQL CodeQL #1444: Scheduled
January 15, 2025 07:35 1m 26s main
main
January 15, 2025 07:35 1m 26s