Skip to content

Actions: cda-tum/setup-z3

Actions

Release Drafter

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️🪝 update pre-commit hooks (#357) Release Drafter #537: Commit ebe0e52 pushed by burgholzer
February 3, 2025 20:45 1h 16m 26s main
main
February 3, 2025 20:45 1h 16m 26s
⬆️🪝 update pre-commit hooks Release Drafter #536: Pull request #357 opened by pre-commit-ci bot
February 3, 2025 17:50 2h 50m 24s
February 3, 2025 17:50 2h 50m 24s
⬆️ Bump the development-dependencies group with 2 updates (#356) Release Drafter #535: Commit f6de629 pushed by dependabot bot
February 3, 2025 07:13 9m 16s main
main
February 3, 2025 07:13 9m 16s
⬆️ Bump the development-dependencies group with 2 updates Release Drafter #534: Pull request #356 opened by dependabot bot
February 3, 2025 05:07 14s
February 3, 2025 05:07 14s
⬆️🪝 update pre-commit hooks (#355) Release Drafter #533: Commit 435b9af pushed by burgholzer
January 27, 2025 18:41 12s main
main
January 27, 2025 18:41 12s
⬆️🪝 update pre-commit hooks Release Drafter #532: Pull request #355 opened by pre-commit-ci bot
January 27, 2025 17:40 55s
January 27, 2025 17:40 55s
⬆️ Bump the development-dependencies group with 5 updates (#353) Release Drafter #531: Commit aaad139 pushed by dependabot bot
January 27, 2025 08:21 11s main
main
January 27, 2025 08:21 11s
⬆️ Bump actions/setup-node from 4.1.0 to 4.2.0 in the github-actions … Release Drafter #530: Commit 4b052dd pushed by burgholzer
January 27, 2025 08:21 12s main
main
January 27, 2025 08:21 12s
⬆️ Bump actions/setup-node from 4.1.0 to 4.2.0 in the github-actions group Release Drafter #529: Pull request #354 opened by dependabot bot
January 27, 2025 05:53 11s
January 27, 2025 05:53 11s
⬆️ Bump the development-dependencies group with 5 updates Release Drafter #528: Pull request #353 opened by dependabot bot
January 27, 2025 05:15 11s
January 27, 2025 05:15 11s
⬆️ 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