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

Build(deps): Bump the production-dependencies group with 4 updates Release Drafter #278: Pull request #241 opened by dependabot bot
September 25, 2023 04:31 8m 50s
September 25, 2023 04:31 8m 50s
Build(deps): Bump the production-dependencies group with 4 updates Release Drafter #277: Pull request #241 opened by dependabot bot
September 25, 2023 04:31 8m 59s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 04:31 8m 59s
Build(deps): Bump the production-dependencies group with 4 updates CodeQL #996: Commit 0c597ce pushed by dependabot bot
September 25, 2023 04:31 9m 33s dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
dependabot/npm_and_yarn/production-dependencies-b9849c1fc5
September 25, 2023 04:31 9m 33s
Build(deps-dev): Bump the development-dependencies group with 4 updates CodeQL #995: Pull request #240 opened by dependabot bot
September 25, 2023 04:31 9m 38s dependabot/npm_and_yarn/development-dependencies-9f0f8208db
dependabot/npm_and_yarn/development-dependencies-9f0f8208db
September 25, 2023 04:31 9m 38s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #276: Pull request #240 opened by dependabot bot
September 25, 2023 04:31 6m 30s
September 25, 2023 04:31 6m 30s
Build(deps-dev): Bump the development-dependencies group with 4 updates units-test #672: Pull request #240 opened by dependabot bot
September 25, 2023 04:31 8m 15s dependabot/npm_and_yarn/development-dependencies-9f0f8208db
dependabot/npm_and_yarn/development-dependencies-9f0f8208db
September 25, 2023 04:31 8m 15s
Build(deps-dev): Bump the development-dependencies group with 4 updates Release Drafter #275: Pull request #240 opened by dependabot bot
September 25, 2023 04:31 6m 18s dependabot/npm_and_yarn/development-dependencies-9f0f8208db
dependabot/npm_and_yarn/development-dependencies-9f0f8208db
September 25, 2023 04:31 6m 18s
Build(deps-dev): Bump the development-dependencies group with 4 updates Check dist/ #679: Pull request #240 opened by dependabot bot
September 25, 2023 04:31 8m 10s dependabot/npm_and_yarn/development-dependencies-9f0f8208db
dependabot/npm_and_yarn/development-dependencies-9f0f8208db
September 25, 2023 04:31 8m 10s
Build(deps-dev): Bump the development-dependencies group with 4 updates CodeQL #994: Commit 53f3f52 pushed by dependabot bot
September 25, 2023 04:31 6m 26s dependabot/npm_and_yarn/development-dependencies-9f0f8208db
dependabot/npm_and_yarn/development-dependencies-9f0f8208db
September 25, 2023 04:31 6m 26s
CodeQL CodeQL #993: Scheduled
September 20, 2023 07:34 1h 7m 55s main
main
September 20, 2023 07:34 1h 7m 55s
Build(deps-dev): Bump the development-dependencies group with 5 updat… CodeQL #992: Commit 688f770 pushed by dependabot bot
September 18, 2023 05:24 2m 13s main
main
September 18, 2023 05:24 2m 13s
Build(deps-dev): Bump the development-dependencies group with 5 updat… units-test #671: Commit 688f770 pushed by dependabot bot
September 18, 2023 05:24 1m 15s main
main
September 18, 2023 05:24 1m 15s
Build(deps-dev): Bump the development-dependencies group with 5 updat… Check dist/ #678: Commit 688f770 pushed by dependabot bot
September 18, 2023 05:24 38s main
main
September 18, 2023 05:24 38s
Build(deps-dev): Bump the development-dependencies group with 5 updat… Release Drafter #274: Commit 688f770 pushed by dependabot bot
September 18, 2023 05:24 18s main
main
September 18, 2023 05:24 18s
Build(deps-dev): Bump the development-dependencies group with 5 updates units-test #670: Pull request #239 opened by dependabot bot
September 18, 2023 05:00 1m 28s dependabot/npm_and_yarn/development-dependencies-40f83fa054
dependabot/npm_and_yarn/development-dependencies-40f83fa054
September 18, 2023 05:00 1m 28s
Build(deps-dev): Bump the development-dependencies group with 5 updates Release Drafter #273: Pull request #239 opened by dependabot bot
September 18, 2023 05:00 12s dependabot/npm_and_yarn/development-dependencies-40f83fa054
dependabot/npm_and_yarn/development-dependencies-40f83fa054
September 18, 2023 05:00 12s
Build(deps-dev): Bump the development-dependencies group with 5 updates Check dist/ #677: Pull request #239 opened by dependabot bot
September 18, 2023 05:00 39s dependabot/npm_and_yarn/development-dependencies-40f83fa054
dependabot/npm_and_yarn/development-dependencies-40f83fa054
September 18, 2023 05:00 39s
Build(deps-dev): Bump the development-dependencies group with 5 updates Release Drafter #272: Pull request #239 opened by dependabot bot
September 18, 2023 05:00 16s
September 18, 2023 05:00 16s
Build(deps-dev): Bump the development-dependencies group with 5 updates CodeQL #991: Pull request #239 opened by dependabot bot
September 18, 2023 05:00 2m 43s dependabot/npm_and_yarn/development-dependencies-40f83fa054
dependabot/npm_and_yarn/development-dependencies-40f83fa054
September 18, 2023 05:00 2m 43s
Build(deps-dev): Bump the development-dependencies group with 5 updates CodeQL #990: Commit 4fa2cfc pushed by dependabot bot
September 18, 2023 05:00 2m 0s dependabot/npm_and_yarn/development-dependencies-40f83fa054
dependabot/npm_and_yarn/development-dependencies-40f83fa054
September 18, 2023 05:00 2m 0s
Build(deps): Bump the production-dependencies group with 1 update Release Drafter #271: Pull request #238 opened by dependabot bot
September 18, 2023 04:59 13s
September 18, 2023 04:59 13s
Build(deps): Bump the production-dependencies group with 1 update Release Drafter #270: Pull request #238 opened by dependabot bot
September 18, 2023 04:59 15s dependabot/npm_and_yarn/production-dependencies-760d1d542e
dependabot/npm_and_yarn/production-dependencies-760d1d542e
September 18, 2023 04:59 15s
Build(deps): Bump the production-dependencies group with 1 update Check dist/ #676: Pull request #238 opened by dependabot bot
September 18, 2023 04:59 39s dependabot/npm_and_yarn/production-dependencies-760d1d542e
dependabot/npm_and_yarn/production-dependencies-760d1d542e
September 18, 2023 04:59 39s
Build(deps): Bump the production-dependencies group with 1 update units-test #669: Pull request #238 opened by dependabot bot
September 18, 2023 04:59 1m 5s dependabot/npm_and_yarn/production-dependencies-760d1d542e
dependabot/npm_and_yarn/production-dependencies-760d1d542e
September 18, 2023 04:59 1m 5s
Build(deps): Bump the production-dependencies group with 1 update CodeQL #989: Pull request #238 opened by dependabot bot
September 18, 2023 04:59 2m 52s dependabot/npm_and_yarn/production-dependencies-760d1d542e
dependabot/npm_and_yarn/production-dependencies-760d1d542e
September 18, 2023 04:59 2m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-09-18 or the other filters available.