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

CodeQL CodeQL #1461: Scheduled
January 22, 2025 07:35 1m 35s main
main
January 22, 2025 07:35 1m 35s
Release 1.6.4 Release #25: Release v1.6.4 published by burgholzer
January 22, 2025 01:01 14s
January 22, 2025 01:01 14s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group (#352) CodeQL #1460: Commit 2085e33 pushed by burgholzer
January 22, 2025 01:01 1m 35s v1.6.4
v1.6.4
January 22, 2025 01:01 1m 35s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group (#352) Check dist/ #927: Commit 2085e33 pushed by dependabot bot
January 22, 2025 00:44 27s main
main
January 22, 2025 00:44 27s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group (#352) Release Drafter #527: Commit 2085e33 pushed by dependabot bot
January 22, 2025 00:44 12s main
main
January 22, 2025 00:44 12s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group (#352) units-test #920: Commit 2085e33 pushed by dependabot bot
January 22, 2025 00:44 44m 22s main
main
January 22, 2025 00:44 44m 22s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group (#352) CodeQL #1459: Commit 2085e33 pushed by dependabot bot
January 22, 2025 00:44 1m 27s main
main
January 22, 2025 00:44 1m 27s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group Check dist/ #926: Pull request #352 synchronize by burgholzer
January 22, 2025 00:18 29s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:18 29s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group units-test #919: Pull request #352 synchronize by burgholzer
January 22, 2025 00:18 24m 49s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:18 24m 49s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group CodeQL #1458: Pull request #352 synchronize by burgholzer
January 22, 2025 00:18 1m 23s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:18 1m 23s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group Release Drafter #526: Pull request #352 synchronize by burgholzer
January 22, 2025 00:18 11s
January 22, 2025 00:18 11s
📦 update dist CodeQL #1457: Commit 2376d15 pushed by burgholzer
January 22, 2025 00:18 1m 24s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:18 1m 24s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group units-test #918: Pull request #352 synchronize by dependabot bot
January 22, 2025 00:13 5m 32s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:13 5m 32s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group Check dist/ #925: Pull request #352 synchronize by dependabot bot
January 22, 2025 00:13 38s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:13 38s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group CodeQL #1456: Pull request #352 synchronize by dependabot bot
January 22, 2025 00:13 1m 20s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:13 1m 20s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group Release Drafter #525: Pull request #352 synchronize by dependabot bot
January 22, 2025 00:12 15s
January 22, 2025 00:12 15s
⬆️ Bump undici from 5.28.4 to 5.28.5 in the npm_and_yarn group CodeQL #1455: Commit de0d22e pushed by dependabot bot
January 22, 2025 00:12 1m 31s dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
dependabot/npm_and_yarn/npm_and_yarn-2c579f9325
January 22, 2025 00:12 1m 31s
npm_and_yarn in /. for undici - Update #951633292 Dependabot Updates #86: by dependabot bot
January 22, 2025 00:09 3m 32s main
main
January 22, 2025 00:09 3m 32s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dep… CodeQL #1454: Commit a3cabca pushed by dependabot bot
January 22, 2025 00:07 4m 44s main
main
January 22, 2025 00:07 4m 44s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dep… Release Drafter #524: Commit a3cabca pushed by dependabot bot
January 22, 2025 00:07 2m 36s main
main
January 22, 2025 00:07 2m 36s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dep… Check dist/ #924: Commit a3cabca pushed by dependabot bot
January 22, 2025 00:07 3m 13s main
main
January 22, 2025 00:07 3m 13s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dep… units-test #917: Commit a3cabca pushed by dependabot bot
January 22, 2025 00:07 10m 55s main
main
January 22, 2025 00:07 10m 55s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group CodeQL #1453: Pull request #350 synchronize by burgholzer
January 21, 2025 23:57 1m 20s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 21, 2025 23:57 1m 20s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group Check dist/ #923: Pull request #350 synchronize by burgholzer
January 21, 2025 23:57 24s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 21, 2025 23:57 24s
⬆️ Bump @actions/tool-cache from 2.0.1 to 2.0.2 in the production-dependencies group units-test #916: Pull request #350 synchronize by burgholzer
January 21, 2025 23:57 9m 28s dependabot/npm_and_yarn/production-dependencies-96f1b92aed
dependabot/npm_and_yarn/production-dependencies-96f1b92aed
January 21, 2025 23:57 9m 28s