Skip to content

Actions: cda-tum/setup-z3

units-test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Bump the production-dependencies group with 2 updates (#361)
units-test #943: Commit ff8dfe5 pushed by dependabot bot
February 17, 2025 06:50 9m 33s main
February 17, 2025 06:50 9m 33s
⬆️ Bump the development-dependencies group with 4 updates (#362)
units-test #941: Commit 59c526d pushed by dependabot bot
February 17, 2025 06:45 3m 22s main
February 17, 2025 06:45 3m 22s
⬆️ Bump the npm_and_yarn group with 2 updates (#360)
units-test #938: Commit 34d1e04 pushed by dependabot bot
February 15, 2025 09:43 1h 24m 51s main
February 15, 2025 09:43 1h 24m 51s
⬆️ Bump @octokit/endpoint from 10.1.2 to 10.1.3 in the npm_and_yarn g…
units-test #935: Commit 612d427 pushed by dependabot bot
February 15, 2025 08:20 1h 20m 48s main
February 15, 2025 08:20 1h 20m 48s
⬆️ Bump the development-dependencies group with 5 updates (#358)
units-test #932: Commit 700e12e pushed by dependabot bot
February 10, 2025 05:14 43s main
February 10, 2025 05:14 43s
⬆️🪝 update pre-commit hooks (#357)
units-test #930: Commit ebe0e52 pushed by burgholzer
February 3, 2025 20:45 1h 26m 8s main
February 3, 2025 20:45 1h 26m 8s
⬆️🪝 update pre-commit hooks
units-test #929: Pull request #357 opened by pre-commit-ci bot
February 3, 2025 17:50 2h 54m 17s pre-commit-ci-update-config
February 3, 2025 17:50 2h 54m 17s
⬆️ Bump the development-dependencies group with 2 updates (#356)
units-test #928: Commit f6de629 pushed by dependabot bot
February 3, 2025 07:13 21m 3s main
February 3, 2025 07:13 21m 3s
⬆️🪝 update pre-commit hooks (#355)
units-test #926: Commit 435b9af pushed by burgholzer
January 27, 2025 18:41 46s main
January 27, 2025 18:41 46s
⬆️🪝 update pre-commit hooks
units-test #925: Pull request #355 opened by pre-commit-ci bot
January 27, 2025 17:40 21m 5s pre-commit-ci-update-config
January 27, 2025 17:40 21m 5s
⬆️ Bump the development-dependencies group with 5 updates (#353)
units-test #924: Commit aaad139 pushed by dependabot bot
January 27, 2025 08:21 45s main
January 27, 2025 08:21 45s
January 27, 2025 08:21 47s
⬆️ 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
January 22, 2025 00:44 44m 22s