Skip to content

Actions: cda-tum/setup-z3

Actions

units-test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
186 workflow runs
186 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
⬆️ Bump the development-dependencies group across 1 directory with 6 updates units-test #1138: Pull request #442 synchronize by dependabot Bot
1m 40s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
1m 40s
⬆️ Bump @actions/core from 3.0.0 to 3.0.1 in the production-dependenc… units-test #1137: Commit f25b0df pushed by burgholzer
42s main
main
42s
⬆️ Bump the development-dependencies group across 1 directory with 6 updates units-test #1136: Pull request #442 synchronize by dependabot Bot
3m 15s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
3m 15s
⬆️ Bump @actions/core from 3.0.0 to 3.0.1 in the production-dependencies group units-test #1135: Pull request #445 opened by dependabot Bot
44s dependabot/npm_and_yarn/production-dependencies-3fc5768f56
dependabot/npm_and_yarn/production-dependencies-3fc5768f56
44s
⬆️🪝 update pre-commit hooks units-test #1134: Pull request #443 synchronize by pre-commit-ci Bot
53s pre-commit-ci-update-config
pre-commit-ci-update-config
53s
⬆️ Bump actions/setup-node from 6.3.0 to 6.4.0 in the github-actions … units-test #1133: Commit fa710a7 pushed by burgholzer
40s main
main
40s
⬆️ Bump actions/setup-node from 6.3.0 to 6.4.0 in the github-actions group units-test #1132: Pull request #444 opened by dependabot Bot
45s dependabot/github_actions/github-actions-366259472f
dependabot/github_actions/github-actions-366259472f
45s
⬆️🪝 update pre-commit hooks units-test #1131: Pull request #443 opened by pre-commit-ci Bot
43s pre-commit-ci-update-config
pre-commit-ci-update-config
43s
⬆️ Bump the development-dependencies group across 1 directory with 6 updates units-test #1130: Pull request #442 opened by dependabot Bot
5m 38s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
5m 38s
⬆️ Bump the development-dependencies group with 3 updates units-test #1129: Pull request #441 opened by dependabot Bot
40s dependabot/npm_and_yarn/development-dependencies-3fd6d39fe6
dependabot/npm_and_yarn/development-dependencies-3fd6d39fe6
40s
⬆️ Bump handlebars from 4.7.8 to 4.7.9 (#440) units-test #1128: Commit ec26734 pushed by burgholzer
50s main
main
50s
⬆️ Bump handlebars from 4.7.8 to 4.7.9 units-test #1127: Pull request #440 opened by dependabot Bot
41s dependabot/npm_and_yarn/handlebars-4.7.9
dependabot/npm_and_yarn/handlebars-4.7.9
41s
⬆️ Bump picomatch from 2.3.1 to 2.3.2 (#439) units-test #1126: Commit c8a596d pushed by burgholzer
38s main
main
38s
⬆️ Bump picomatch from 2.3.1 to 2.3.2 units-test #1125: Pull request #439 opened by dependabot Bot
54s dependabot/npm_and_yarn/picomatch-2.3.2
dependabot/npm_and_yarn/picomatch-2.3.2
54s
⬆️ Bump the development-dependencies group with 2 updates (#438) units-test #1124: Commit 35f76e6 pushed by burgholzer
51s main
main
51s
⬆️ Bump the development-dependencies group with 2 updates units-test #1123: Pull request #438 opened by dependabot Bot
54s dependabot/npm_and_yarn/development-dependencies-3ae4b15207
dependabot/npm_and_yarn/development-dependencies-3ae4b15207
54s
⬆️ Bump flatted from 3.4.1 to 3.4.2 (#437) units-test #1122: Commit 4ae55b1 pushed by burgholzer
40s main
main
40s
⬆️ Bump flatted from 3.4.1 to 3.4.2 units-test #1121: Pull request #437 opened by dependabot Bot
45s dependabot/npm_and_yarn/flatted-3.4.2
dependabot/npm_and_yarn/flatted-3.4.2
45s
🔖 Prepare release of v1.7.2 (#436) units-test #1120: Commit 7bfe875 pushed by burgholzer
50s main
main
50s
🔖 Prepare release of v1.7.2 units-test #1119: Pull request #436 opened by burgholzer
47s prepare-release
prepare-release
47s
⬆️ Bump undici from 6.23.0 to 6.24.1 (#435) units-test #1118: Commit c86f115 pushed by burgholzer
49s main
main
49s
⬆️ Bump undici from 6.23.0 to 6.24.1 units-test #1117: Pull request #435 synchronize by burgholzer
46s dependabot/npm_and_yarn/undici-6.24.1
dependabot/npm_and_yarn/undici-6.24.1
46s
⬆️ Bump undici from 6.23.0 to 6.24.1 units-test #1116: Pull request #435 opened by dependabot Bot
39s dependabot/npm_and_yarn/undici-6.24.1
dependabot/npm_and_yarn/undici-6.24.1
39s
⬆️ Bump undici from 6.23.0 to 6.24.0 units-test #1115: Pull request #434 opened by dependabot Bot
54s dependabot/npm_and_yarn/undici-6.24.0
dependabot/npm_and_yarn/undici-6.24.0
54s
⬆️ Bump actions/setup-node from 6.2.0 to 6.3.0 in the github-actions … units-test #1114: Commit a2c81c8 pushed by burgholzer
48s main
main
48s