Skip to content

Actions: cda-tum/setup-z3

Actions

Release Drafter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-drafter.yml
224 workflow runs
224 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ 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 Release Drafter #526: Pull request #352 synchronize by burgholzer
January 22, 2025 00:18 11s
January 22, 2025 00:18 11s
⬆️ 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 @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-dependencies group Release Drafter #523: Pull request #350 synchronize by burgholzer
January 21, 2025 23:57 16s
January 21, 2025 23:57 16s
⬆️ 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 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 Release Drafter #520: Pull request #351 opened by dependabot bot
January 20, 2025 05:46 14s
January 20, 2025 05:46 14s
⬆️ 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 the production-dependencies group across 1 directory with 2 u… Release Drafter #518: Commit 7ceeefe pushed by dependabot bot
January 13, 2025 07:44 15s main
main
January 13, 2025 07:44 15s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates Release Drafter #517: Pull request #348 synchronize by burgholzer
January 13, 2025 07:42 15s
January 13, 2025 07:42 15s
⬆️ Bump the development-dependencies group with 4 updates (#349) Release Drafter #516: Commit 52c0090 pushed by dependabot bot
January 13, 2025 05:56 11s main
main
January 13, 2025 05:56 11s
⬆️ Bump the development-dependencies group with 4 updates Release Drafter #515: Pull request #349 opened by dependabot bot
January 13, 2025 05:41 1m 43s
January 13, 2025 05:41 1m 43s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates Release Drafter #514: Pull request #348 opened by dependabot bot
January 13, 2025 05:40 52s
January 13, 2025 05:40 52s
⬆️ Bump the development-dependencies group with 2 updates (#347) Release Drafter #513: Commit 2b74610 pushed by dependabot bot
January 6, 2025 08:38 15s main
main
January 6, 2025 08:38 15s
⬆️ Bump the development-dependencies group with 2 updates Release Drafter #512: Pull request #347 opened by dependabot bot
January 6, 2025 05:55 11s
January 6, 2025 05:55 11s
⬆️ Bump @octokit/core from 6.1.2 to 6.1.3 in the production-dependencies group Release Drafter #511: Pull request #346 opened by dependabot bot
January 6, 2025 05:54 10s
January 6, 2025 05:54 10s
⬆️ Bump typescript-eslint from 8.18.1 to 8.18.2 in the development-de… Release Drafter #510: Commit 43e2f56 pushed by burgholzer
December 30, 2024 07:31 21s main
main
December 30, 2024 07:31 21s
⬆️ Bump typescript-eslint from 8.18.1 to 8.18.2 in the development-dependencies group Release Drafter #509: Pull request #345 opened by dependabot bot
December 30, 2024 05:11 15s
December 30, 2024 05:11 15s
⬆️ Bump the development-dependencies group with 2 updates (#344) Release Drafter #508: Commit a3e605d pushed by burgholzer
December 23, 2024 07:50 1m 4s main
main
December 23, 2024 07:50 1m 4s
⬆️ Bump the development-dependencies group with 2 updates Release Drafter #507: Pull request #344 opened by dependabot bot
December 23, 2024 05:45 11s
December 23, 2024 05:45 11s
⬆️ Bump the development-dependencies group with 4 updates (#343) Release Drafter #506: Commit ea6e0c1 pushed by burgholzer
December 16, 2024 07:38 24s main
main
December 16, 2024 07:38 24s
⬆️ Bump the development-dependencies group with 4 updates Release Drafter #505: Pull request #343 opened by dependabot bot
December 16, 2024 05:47 12s
December 16, 2024 05:47 12s
⬆️🪝 update pre-commit hooks (#342) Release Drafter #504: Commit 97defc2 pushed by burgholzer
December 9, 2024 17:53 11s main
main
December 9, 2024 17:53 11s
⬆️🪝 update pre-commit hooks Release Drafter #503: Pull request #342 opened by pre-commit-ci bot
December 9, 2024 17:40 2m 2s
December 9, 2024 17:40 2m 2s