Skip to content

Actions: cda-tum/setup-z3

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL
CodeQL #1502: Scheduled
February 19, 2025 07:35 1m 22s main
February 19, 2025 07:35 1m 22s
⬆️ Bump the production-dependencies group with 2 updates (#361)
units-test #943: Commit ff8dfe5 pushed by dependabot bot
February 17, 2025 06:50 9m 33s main
February 17, 2025 06:50 9m 33s
⬆️ Bump the production-dependencies group with 2 updates (#361)
Check dist/ #950: Commit ff8dfe5 pushed by dependabot bot
February 17, 2025 06:50 28s main
February 17, 2025 06:50 28s
⬆️ Bump the production-dependencies group with 2 updates (#361)
CodeQL #1501: Commit ff8dfe5 pushed by dependabot bot
February 17, 2025 06:50 1m 23s main
February 17, 2025 06:50 1m 23s
⬆️ Bump the production-dependencies group with 2 updates (#361)
Release Drafter #550: Commit ff8dfe5 pushed by dependabot bot
February 17, 2025 06:50 10s main
February 17, 2025 06:50 10s
⬆️ Bump the production-dependencies group with 2 updates
Release Drafter #549: Pull request #361 synchronize by burgholzer
February 17, 2025 06:46 1m 5s
February 17, 2025 06:46 1m 5s
⬆️ Bump the development-dependencies group with 4 updates (#362)
CodeQL #1498: Commit 59c526d pushed by dependabot bot
February 17, 2025 06:45 2m 6s main
February 17, 2025 06:45 2m 6s
⬆️ Bump the development-dependencies group with 4 updates (#362)
Release Drafter #548: Commit 59c526d pushed by dependabot bot
February 17, 2025 06:45 44s main
February 17, 2025 06:45 44s
⬆️ Bump the development-dependencies group with 4 updates (#362)
Check dist/ #948: Commit 59c526d pushed by dependabot bot
February 17, 2025 06:45 1m 4s main
February 17, 2025 06:45 1m 4s
⬆️ Bump the development-dependencies group with 4 updates (#362)
units-test #941: Commit 59c526d pushed by dependabot bot
February 17, 2025 06:45 3m 22s main
February 17, 2025 06:45 3m 22s
github_actions in /. - Update #965474459
Dependabot Updates #102: by dependabot bot
February 17, 2025 05:14 40s main
February 17, 2025 05:14 40s
⬆️ Bump the development-dependencies group with 4 updates
Release Drafter #547: Pull request #362 opened by dependabot bot
February 17, 2025 05:12 11s
February 17, 2025 05:12 11s
⬆️ Bump the production-dependencies group with 2 updates
Release Drafter #546: Pull request #361 opened by dependabot bot
February 17, 2025 05:11 13s
February 17, 2025 05:11 13s