Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,226 workflow runs
1,226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Switching to node 20 (#242) Check dist/ #685: Commit 2d52b2c pushed by burgholzer
September 25, 2023 08:47 39s main
main
September 25, 2023 08:47 39s
⬆️ Switching to node 20 (#242) CodeQL #1004: Commit 2d52b2c pushed by burgholzer
September 25, 2023 08:47 1m 44s main
main
September 25, 2023 08:47 1m 44s
⬆️ Switching to node 20 Release Drafter #284: Pull request #242 opened by burgholzer
September 25, 2023 08:46 12s node-20
node-20
September 25, 2023 08:46 12s
⬆️ Switching to node 20 units-test #677: Pull request #242 opened by burgholzer
September 25, 2023 08:46 1m 40s node-20
node-20
September 25, 2023 08:46 1m 40s
⬆️ Switching to node 20 Check dist/ #684: Pull request #242 opened by burgholzer
September 25, 2023 08:46 37s node-20
node-20
September 25, 2023 08:46 37s
⬆️ Switching to node 20 CodeQL #1003: Pull request #242 opened by burgholzer
September 25, 2023 08:46 1m 39s node-20
node-20
September 25, 2023 08:46 1m 39s
⬆️ Switching to node 20 Release Drafter #283: Pull request #242 opened by burgholzer
September 25, 2023 08:46 13s
September 25, 2023 08:46 13s
⬆️ switching to node 20 CodeQL #1002: Commit 5a0259b pushed by burgholzer
September 25, 2023 08:43 1m 43s node-20
node-20
September 25, 2023 08:43 1m 43s
Build(deps): Bump the production-dependencies group with 4 updates (#… units-test #676: Commit 79d3e76 pushed by dependabot bot
September 25, 2023 08:38 1m 20s main
main
September 25, 2023 08:38 1m 20s
Build(deps): Bump the production-dependencies group with 4 updates (#… Release Drafter #282: Commit 79d3e76 pushed by dependabot bot
September 25, 2023 08:38 18s main
main
September 25, 2023 08:38 18s
Build(deps): Bump the production-dependencies group with 4 updates (#… Check dist/ #683: Commit 79d3e76 pushed by dependabot bot
September 25, 2023 08:38 45s main
main
September 25, 2023 08:38 45s
Build(deps): Bump the production-dependencies group with 4 updates (#… CodeQL #1001: Commit 79d3e76 pushed by dependabot bot
September 25, 2023 08:38 1m 35s main
main
September 25, 2023 08:38 1m 35s
Build(deps): Bump the production-dependencies group with 4 updates Release Drafter #281: Pull request #241 synchronize by burgholzer
September 25, 2023 08:33 15s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 08:33 15s
Build(deps): Bump the production-dependencies group with 4 updates CodeQL #1000: Pull request #241 synchronize by burgholzer
September 25, 2023 08:33 2m 9s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 08:33 2m 9s
Build(deps): Bump the production-dependencies group with 4 updates Release Drafter #280: Pull request #241 synchronize by burgholzer
September 25, 2023 08:33 14s
September 25, 2023 08:33 14s
Build(deps): Bump the production-dependencies group with 4 updates Check dist/ #682: Pull request #241 synchronize by burgholzer
September 25, 2023 08:33 39s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 08:33 39s
Build(deps): Bump the production-dependencies group with 4 updates units-test #675: Pull request #241 synchronize by burgholzer
September 25, 2023 08:33 1m 17s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 08:33 1m 17s
📦 manually run build CodeQL #999: Commit 4cee9c4 pushed by burgholzer
September 25, 2023 08:33 1m 34s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 08:33 1m 34s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Check dist/ #681: Commit bfe758d pushed by dependabot bot
September 25, 2023 08:10 38s main
main
September 25, 2023 08:10 38s
Build(deps-dev): Bump the development-dependencies group with 4 updat… CodeQL #998: Commit bfe758d pushed by dependabot bot
September 25, 2023 08:10 1m 46s main
main
September 25, 2023 08:10 1m 46s
Build(deps-dev): Bump the development-dependencies group with 4 updat… units-test #674: Commit bfe758d pushed by dependabot bot
September 25, 2023 08:10 1m 4s main
main
September 25, 2023 08:10 1m 4s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Release Drafter #279: Commit bfe758d pushed by dependabot bot
September 25, 2023 08:10 17s main
main
September 25, 2023 08:10 17s
Build(deps): Bump the production-dependencies group with 4 updates units-test #673: Pull request #241 opened by dependabot bot
September 25, 2023 04:31 10m 29s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 04:31 10m 29s
Build(deps): Bump the production-dependencies group with 4 updates Check dist/ #680: Pull request #241 opened by dependabot bot
September 25, 2023 04:31 9m 37s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 04:31 9m 37s
Build(deps): Bump the production-dependencies group with 4 updates CodeQL #997: Pull request #241 opened by dependabot bot
September 25, 2023 04:31 10m 20s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 04:31 10m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-09-25 or the other filters available.