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

Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #327: Commit 0bf903a pushed by dependabot bot
December 4, 2023 06:16 15s main
main
December 4, 2023 06:16 15s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #326: Pull request #264 opened by dependabot bot
December 4, 2023 05:15 13s
December 4, 2023 05:15 13s
Build(deps): Bump the production-dependencies group with 2 updates Release Drafter #325: Pull request #263 opened by dependabot bot
December 4, 2023 05:14 15s
December 4, 2023 05:14 15s
⬆️🪝 update pre-commit hooks (#262) Release Drafter #324: Commit 4c060dd pushed by burgholzer
November 27, 2023 18:25 30m 13s main
main
November 27, 2023 18:25 30m 13s
⬆️🪝 update pre-commit hooks Release Drafter #323: Pull request #262 opened by pre-commit-ci bot
November 27, 2023 17:25 49m 4s
November 27, 2023 17:25 49m 4s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #322: Commit 3537906 pushed by dependabot bot
November 27, 2023 07:10 12s main
main
November 27, 2023 07:10 12s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #321: Pull request #261 opened by dependabot bot
November 27, 2023 05:09 12s
November 27, 2023 05:09 12s
Build(deps): Bump the production-dependencies group with 1 update Release Drafter #320: Pull request #260 opened by dependabot bot
November 27, 2023 05:08 13s
November 27, 2023 05:08 13s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #319: Commit 5a992eb pushed by dependabot bot
November 20, 2023 08:36 17s main
main
November 20, 2023 08:36 17s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #318: Pull request #259 opened by dependabot bot
November 20, 2023 05:21 13s
November 20, 2023 05:21 13s
⬆️🪝 update pre-commit hooks (#258) Release Drafter #317: Commit 49e3297 pushed by burgholzer
November 13, 2023 18:19 2m 24s main
main
November 13, 2023 18:19 2m 24s
⬆️🪝 update pre-commit hooks Release Drafter #316: Pull request #258 opened by pre-commit-ci bot
November 13, 2023 17:35 30m 0s
November 13, 2023 17:35 30m 0s
Build(deps-dev): Bump the development-dependencies group with 3 updat… Release Drafter #315: Commit 3a9d5f4 pushed by dependabot bot
November 13, 2023 16:24 20m 25s main
main
November 13, 2023 16:24 20m 25s
Build(deps-dev): Bump the development-dependencies group with 3 updates Release Drafter #314: Pull request #257 opened by dependabot bot
November 13, 2023 05:42 13s
November 13, 2023 05:42 13s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #313: Commit bef124e pushed by dependabot bot
November 6, 2023 08:04 16s main
main
November 6, 2023 08:04 16s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #312: Pull request #256 opened by dependabot bot
November 6, 2023 05:57 15s
November 6, 2023 05:57 15s
Build(deps-dev): Bump the development-dependencies group with 7 updat… Release Drafter #311: Commit 4df8844 pushed by dependabot bot
October 31, 2023 08:09 17s main
main
October 31, 2023 08:09 17s
Build(deps-dev): Bump the development-dependencies group with 7 updates Release Drafter #310: Pull request #255 synchronize by burgholzer
October 31, 2023 07:59 15s
October 31, 2023 07:59 15s
Build(deps): Bump the github-actions group with 1 update (#252) Release Drafter #309: Commit aeed950 pushed by dependabot bot
October 30, 2023 07:15 17s main
main
October 30, 2023 07:15 17s
Build(deps): Bump the production-dependencies group with 1 update (#253) Release Drafter #308: Commit 03818cb pushed by dependabot bot
October 30, 2023 07:14 13s main
main
October 30, 2023 07:14 13s
Build(deps-dev): Bump the development-dependencies group with 7 updates Release Drafter #307: Pull request #255 opened by dependabot bot
October 30, 2023 05:50 12s
October 30, 2023 05:50 12s
Build(deps-dev): Bump eslint-plugin-import from 2.28.1 to 2.29.0 Release Drafter #306: Pull request #254 opened by dependabot bot
October 30, 2023 05:50 17s
October 30, 2023 05:50 17s
Build(deps): Bump the production-dependencies group with 1 update Release Drafter #305: Pull request #253 opened by dependabot bot
October 30, 2023 05:49 18s
October 30, 2023 05:49 18s
Build(deps): Bump the github-actions group with 1 update Release Drafter #304: Pull request #252 opened by dependabot bot
October 30, 2023 05:30 14s
October 30, 2023 05:30 14s