Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build(deps-dev): Bump the development-dependencies group with 4 updates units-test #705: Pull request #256 opened by dependabot bot
November 6, 2023 05:57 1m 41s dependabot/npm_and_yarn/development-dependencies-00e2d021e4
dependabot/npm_and_yarn/development-dependencies-00e2d021e4
November 6, 2023 05:57 1m 41s
Build(deps-dev): Bump the development-dependencies group with 4 updates Check dist/ #712: Pull request #256 opened by dependabot bot
November 6, 2023 05:57 2m 47s dependabot/npm_and_yarn/development-dependencies-00e2d021e4
dependabot/npm_and_yarn/development-dependencies-00e2d021e4
November 6, 2023 05:57 2m 47s
Build(deps-dev): Bump the development-dependencies group with 4 updates CodeQL #1053: Commit a0e8bc8 pushed by dependabot bot
November 6, 2023 05:57 1m 50s dependabot/npm_and_yarn/development-dependencies-00e2d021e4
dependabot/npm_and_yarn/development-dependencies-00e2d021e4
November 6, 2023 05:57 1m 50s
CodeQL CodeQL #1052: Scheduled
November 1, 2023 07:34 1m 52s main
main
November 1, 2023 07:34 1m 52s
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 updat… CodeQL #1051: Commit 4df8844 pushed by dependabot bot
October 31, 2023 08:09 1m 32s main
main
October 31, 2023 08:09 1m 32s
Build(deps-dev): Bump the development-dependencies group with 7 updat… units-test #704: Commit 4df8844 pushed by dependabot bot
October 31, 2023 08:09 1m 6s main
main
October 31, 2023 08:09 1m 6s
Build(deps-dev): Bump the development-dependencies group with 7 updat… Check dist/ #711: Commit 4df8844 pushed by dependabot bot
October 31, 2023 08:09 3m 11s main
main
October 31, 2023 08:09 3m 11s
Build(deps-dev): Bump the development-dependencies group with 7 updates Check dist/ #710: Pull request #255 synchronize by burgholzer
October 31, 2023 07:59 3m 8s dependabot/npm_and_yarn/development-dependencies-91fbccfd47
dependabot/npm_and_yarn/development-dependencies-91fbccfd47
October 31, 2023 07:59 3m 8s
Build(deps-dev): Bump the development-dependencies group with 7 updates units-test #703: Pull request #255 synchronize by burgholzer
October 31, 2023 07:59 5m 43s dependabot/npm_and_yarn/development-dependencies-91fbccfd47
dependabot/npm_and_yarn/development-dependencies-91fbccfd47
October 31, 2023 07:59 5m 43s
Build(deps-dev): Bump the development-dependencies group with 7 updates CodeQL #1050: Pull request #255 synchronize by burgholzer
October 31, 2023 07:59 1m 52s dependabot/npm_and_yarn/development-dependencies-91fbccfd47
dependabot/npm_and_yarn/development-dependencies-91fbccfd47
October 31, 2023 07:59 1m 52s
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
run build CodeQL #1049: Commit 5f6d058 pushed by burgholzer
October 31, 2023 07:59 2m 10s dependabot/npm_and_yarn/development-dependencies-91fbccfd47
dependabot/npm_and_yarn/development-dependencies-91fbccfd47
October 31, 2023 07:59 2m 10s
Build(deps): Bump the github-actions group with 1 update (#252) CodeQL #1048: Commit aeed950 pushed by dependabot bot
October 30, 2023 07:15 1m 53s main
main
October 30, 2023 07:15 1m 53s
Build(deps): Bump the github-actions group with 1 update (#252) units-test #702: Commit aeed950 pushed by dependabot bot
October 30, 2023 07:15 1m 7s main
main
October 30, 2023 07:15 1m 7s
Build(deps): Bump the github-actions group with 1 update (#252) Check dist/ #709: Commit aeed950 pushed by dependabot bot
October 30, 2023 07:15 39s main
main
October 30, 2023 07:15 39s
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) Check dist/ #708: Commit 03818cb pushed by dependabot bot
October 30, 2023 07:14 51s main
main
October 30, 2023 07:14 51s
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): Bump the production-dependencies group with 1 update (#253) CodeQL #1047: Commit 03818cb pushed by dependabot bot
October 30, 2023 07:14 2m 18s main
main
October 30, 2023 07:14 2m 18s
Build(deps): Bump the production-dependencies group with 1 update (#253) units-test #701: Commit 03818cb pushed by dependabot bot
October 30, 2023 07:14 1m 20s main
main
October 30, 2023 07:14 1m 20s
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 the development-dependencies group with 7 updates Check dist/ #707: Pull request #255 opened by dependabot bot
October 30, 2023 05:50 45s dependabot/npm_and_yarn/development-dependencies-91fbccfd47
dependabot/npm_and_yarn/development-dependencies-91fbccfd47
October 30, 2023 05:50 45s
Build(deps-dev): Bump the development-dependencies group with 7 updates units-test #700: Pull request #255 opened by dependabot bot
October 30, 2023 05:50 2m 45s dependabot/npm_and_yarn/development-dependencies-91fbccfd47
dependabot/npm_and_yarn/development-dependencies-91fbccfd47
October 30, 2023 05:50 2m 45s
Build(deps-dev): Bump the development-dependencies group with 7 updates CodeQL #1046: Pull request #255 opened by dependabot bot
October 30, 2023 05:50 1m 33s dependabot/npm_and_yarn/development-dependencies-91fbccfd47
dependabot/npm_and_yarn/development-dependencies-91fbccfd47
October 30, 2023 05:50 1m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.