Skip to content

Actions: cda-tum/setup-z3

Actions

units-test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Bump typescript-eslint from 8.16.0 to 8.17.0 in the development-dependencies group units-test #894: Pull request #341 opened by dependabot bot
December 9, 2024 05:32 1m 1s dependabot/npm_and_yarn/development-dependencies-07f0dc62c0
dependabot/npm_and_yarn/development-dependencies-07f0dc62c0
December 9, 2024 05:32 1m 1s
⬆️ Bump the development-dependencies group with 4 updates (#340) units-test #893: Commit fdae523 pushed by dependabot bot
December 2, 2024 08:18 7m 10s main
main
December 2, 2024 08:18 7m 10s
⬆️ Bump the development-dependencies group with 4 updates units-test #892: Pull request #340 opened by dependabot bot
December 2, 2024 05:10 44s dependabot/npm_and_yarn/development-dependencies-5f9b321957
dependabot/npm_and_yarn/development-dependencies-5f9b321957
December 2, 2024 05:10 44s
⬆️ Bump the development-dependencies group across 1 directory with 6 … units-test #891: Commit b475474 pushed by dependabot bot
November 25, 2024 11:32 21m 48s main
main
November 25, 2024 11:32 21m 48s
⬆️ Bump the development-dependencies group across 1 directory with 6 updates units-test #890: Pull request #339 opened by dependabot bot
November 25, 2024 05:39 58s dependabot/npm_and_yarn/development-dependencies-834532a318
dependabot/npm_and_yarn/development-dependencies-834532a318
November 25, 2024 05:39 58s
⬆️ Bump the development-dependencies group with 4 updates units-test #889: Pull request #338 opened by dependabot bot
November 18, 2024 05:56 5m 22s dependabot/npm_and_yarn/development-dependencies-c0b7c82ff2
dependabot/npm_and_yarn/development-dependencies-c0b7c82ff2
November 18, 2024 05:56 5m 22s
⬆️ Bump the development-dependencies group with 3 updates (#337) units-test #888: Commit 570e298 pushed by burgholzer
November 11, 2024 08:43 1h 0m 40s main
main
November 11, 2024 08:43 1h 0m 40s
⬆️ Bump the development-dependencies group with 3 updates units-test #887: Pull request #337 opened by dependabot bot
November 11, 2024 05:11 58s dependabot/npm_and_yarn/development-dependencies-2ea4705e4d
dependabot/npm_and_yarn/development-dependencies-2ea4705e4d
November 11, 2024 05:11 58s
⬆️ Bump the development-dependencies group with 4 updates (#336) units-test #886: Commit ec44f22 pushed by burgholzer
November 4, 2024 08:17 8m 52s main
main
November 4, 2024 08:17 8m 52s
⬆️ Bump the development-dependencies group with 4 updates units-test #885: Pull request #336 opened by dependabot bot
November 4, 2024 05:07 45s dependabot/npm_and_yarn/development-dependencies-6774407ff5
dependabot/npm_and_yarn/development-dependencies-6774407ff5
November 4, 2024 05:07 45s
⬆️ Bump actions/setup-node from 4.0.4 to 4.1.0 in the github-actions … units-test #884: Commit 804444c pushed by burgholzer
October 28, 2024 09:13 2m 46s main
main
October 28, 2024 09:13 2m 46s
⬆️ Bump the development-dependencies group with 5 updates (#334) units-test #883: Commit a8d5f25 pushed by burgholzer
October 28, 2024 09:13 2m 21s main
main
October 28, 2024 09:13 2m 21s
⬆️ Bump actions/setup-node from 4.0.4 to 4.1.0 in the github-actions group units-test #882: Pull request #335 opened by dependabot bot
October 28, 2024 05:56 44s dependabot/github_actions/github-actions-790168239a
dependabot/github_actions/github-actions-790168239a
October 28, 2024 05:56 44s
⬆️ Bump the development-dependencies group with 5 updates units-test #881: Pull request #334 opened by dependabot bot
October 28, 2024 05:20 10m 36s dependabot/npm_and_yarn/development-dependencies-e40e4395c7
dependabot/npm_and_yarn/development-dependencies-e40e4395c7
October 28, 2024 05:20 10m 36s
⬆️ Bump the development-dependencies group with 4 updates (#333) units-test #880: Commit d41a115 pushed by dependabot bot
October 21, 2024 06:12 44s main
main
October 21, 2024 06:12 44s
⬆️ Bump the development-dependencies group with 4 updates units-test #879: Pull request #333 opened by dependabot bot
October 21, 2024 05:00 46s dependabot/npm_and_yarn/development-dependencies-a4691db2e8
dependabot/npm_and_yarn/development-dependencies-a4691db2e8
October 21, 2024 05:00 46s
⬆️ Bump the development-dependencies group with 4 updates (#332) units-test #878: Commit 27bfb85 pushed by burgholzer
October 14, 2024 07:34 19m 32s main
main
October 14, 2024 07:34 19m 32s
⬆️ Bump the development-dependencies group with 4 updates units-test #877: Pull request #332 opened by dependabot bot
October 14, 2024 04:33 58s dependabot/npm_and_yarn/development-dependencies-2f7b541a02
dependabot/npm_and_yarn/development-dependencies-2f7b541a02
October 14, 2024 04:33 58s
🚸 Special case version 4.8.5 (#331) units-test #876: Commit 2899695 pushed by burgholzer
October 11, 2024 08:08 47s main
main
October 11, 2024 08:08 47s
🚸 Special case version 4.8.5 units-test #875: Pull request #331 synchronize by burgholzer
October 11, 2024 08:04 45s main
main
October 11, 2024 08:04 45s
🚸 Special case version 4.8.5 units-test #874: Pull request #331 opened by mtzguido
October 10, 2024 21:07 7m 2s main
main
October 10, 2024 21:07 7m 2s
⬆️🪝 update pre-commit hooks (#330) units-test #873: Commit 2c39de9 pushed by burgholzer
October 7, 2024 19:48 42s main
main
October 7, 2024 19:48 42s
⬆️🪝 update pre-commit hooks units-test #872: Pull request #330 opened by pre-commit-ci bot
October 7, 2024 18:11 34m 38s pre-commit-ci-update-config
pre-commit-ci-update-config
October 7, 2024 18:11 34m 38s
⬆️ Bump @actions/core from 1.10.1 to 1.11.1 in the production-depende… units-test #871: Commit 1f0bc7f pushed by dependabot bot
October 7, 2024 08:05 17m 40s main
main
October 7, 2024 08:05 17m 40s
⬆️ Bump @actions/core from 1.10.1 to 1.11.1 in the production-dependencies group units-test #870: Pull request #328 synchronize by burgholzer
October 7, 2024 07:44 20m 40s dependabot/npm_and_yarn/production-dependencies-e659d6d3f1
dependabot/npm_and_yarn/production-dependencies-e659d6d3f1
October 7, 2024 07:44 20m 40s