Skip to content

Actions: cda-tum/setup-z3

Actions

Release Drafter

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build(deps): Bump the production-dependencies group with 3 updates Release Drafter #409: Pull request #299 opened by dependabot bot
April 8, 2024 04:32 14s
April 8, 2024 04:32 14s
Build(deps): Bump undici from 6.6.2 to 6.11.1 (#298) Release Drafter #408: Commit 296deca pushed by dependabot bot
April 4, 2024 16:20 13s main
main
April 4, 2024 16:20 13s
Build(deps): Bump undici from 6.6.2 to 6.11.1 Release Drafter #407: Pull request #298 synchronize by burgholzer
April 4, 2024 16:18 12s
April 4, 2024 16:18 12s
Build(deps): Bump undici from 6.6.2 to 6.11.1 Release Drafter #406: Pull request #298 opened by dependabot bot
April 4, 2024 14:31 13s
April 4, 2024 14:31 13s
⬆️🪝 update pre-commit hooks (#297) Release Drafter #405: Commit 95e65b1 pushed by burgholzer
April 1, 2024 17:58 2m 32s main
main
April 1, 2024 17:58 2m 32s
⬆️🪝 update pre-commit hooks Release Drafter #404: Pull request #297 opened by pre-commit-ci bot
April 1, 2024 17:34 22s
April 1, 2024 17:34 22s
Build(deps-dev): Bump the development-dependencies group with 3 updat… Release Drafter #403: Commit 70535d7 pushed by dependabot bot
April 1, 2024 08:43 29s main
main
April 1, 2024 08:43 29s
Build(deps-dev): Bump the development-dependencies group with 3 updates Release Drafter #402: Pull request #296 opened by dependabot bot
April 1, 2024 04:21 18s
April 1, 2024 04:21 18s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #401: Commit fd021d8 pushed by dependabot bot
March 25, 2024 06:12 14s main
main
March 25, 2024 06:12 14s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #400: Pull request #295 opened by dependabot bot
March 25, 2024 05:40 15s
March 25, 2024 05:40 15s
Build(deps-dev): Bump the development-dependencies group with 3 updat… Release Drafter #399: Commit d41b325 pushed by dependabot bot
March 18, 2024 07:46 14s main
main
March 18, 2024 07:46 14s
Build(deps-dev): Bump the development-dependencies group with 3 updates Release Drafter #398: Pull request #294 opened by dependabot bot
March 18, 2024 05:58 12s
March 18, 2024 05:58 12s
Build(deps): Bump the production-dependencies group with 2 updates (#… Release Drafter #397: Commit d59c23e pushed by dependabot bot
March 11, 2024 09:05 13s main
main
March 11, 2024 09:05 13s
Build(deps): Bump the production-dependencies group with 2 updates Release Drafter #396: Pull request #291 synchronize by burgholzer
March 11, 2024 09:00 15s
March 11, 2024 09:00 15s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #395: Commit 9e2287d pushed by dependabot bot
March 11, 2024 08:20 13s main
main
March 11, 2024 08:20 13s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #394: Pull request #293 opened by dependabot bot
March 11, 2024 05:24 14s
March 11, 2024 05:24 14s
Build(deps): Bump the production-dependencies group with 2 updates Release Drafter #393: Pull request #291 synchronize by dependabot bot
March 11, 2024 05:23 14s
March 11, 2024 05:23 14s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #392: Commit e622a1d pushed by dependabot bot
March 4, 2024 08:27 5m 42s main
main
March 4, 2024 08:27 5m 42s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #391: Pull request #292 opened by dependabot bot
March 4, 2024 05:40 11s
March 4, 2024 05:40 11s
Build(deps): Bump the production-dependencies group with 2 updates Release Drafter #390: Pull request #291 opened by dependabot bot
March 4, 2024 05:40 14s
March 4, 2024 05:40 14s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #389: Commit b0b64f1 pushed by dependabot bot
February 26, 2024 07:36 15s main
main
February 26, 2024 07:36 15s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #388: Pull request #290 opened by dependabot bot
February 26, 2024 05:58 16s
February 26, 2024 05:58 16s
Build(deps): Bump the production-dependencies group with 2 updates Release Drafter #387: Pull request #289 opened by dependabot bot
February 26, 2024 05:57 12s
February 26, 2024 05:57 12s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #386: Commit ce8038f pushed by dependabot bot
February 19, 2024 08:21 17s main
main
February 19, 2024 08:21 17s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #385: Pull request #288 opened by dependabot bot
February 19, 2024 05:47 10s
February 19, 2024 05:47 10s