Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1528: Scheduled
March 26, 2025 07:36 1m 20s main
main
March 26, 2025 07:36 1m 20s
⬆️ Bump the development-dependencies group with 4 updates (#369) Check dist/ #963: Commit 801f430 pushed by dependabot bot
March 24, 2025 07:58 21s main
main
March 24, 2025 07:58 21s
⬆️ Bump the development-dependencies group with 4 updates (#369) units-test #956: Commit 801f430 pushed by dependabot bot
March 24, 2025 07:58 42s main
main
March 24, 2025 07:58 42s
⬆️ Bump the development-dependencies group with 4 updates (#369) CodeQL #1527: Commit 801f430 pushed by dependabot bot
March 24, 2025 07:58 1m 21s main
main
March 24, 2025 07:58 1m 21s
⬆️ Bump the development-dependencies group with 4 updates (#369) Release Drafter #563: Commit 801f430 pushed by dependabot bot
March 24, 2025 07:58 11s main
main
March 24, 2025 07:58 11s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the productio… Release Drafter #562: Commit 4d498c1 pushed by dependabot bot
March 24, 2025 07:57 9s main
main
March 24, 2025 07:57 9s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the productio… units-test #955: Commit 4d498c1 pushed by dependabot bot
March 24, 2025 07:57 51s main
main
March 24, 2025 07:57 51s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the productio… Check dist/ #962: Commit 4d498c1 pushed by dependabot bot
March 24, 2025 07:57 20s main
main
March 24, 2025 07:57 20s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the productio… CodeQL #1526: Commit 4d498c1 pushed by dependabot bot
March 24, 2025 07:57 1m 21s main
main
March 24, 2025 07:57 1m 21s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1525: Pull request #369 opened by dependabot bot
March 24, 2025 05:51 1m 25s dependabot/npm_and_yarn/development-dependencies-3dabb01461
dependabot/npm_and_yarn/development-dependencies-3dabb01461
March 24, 2025 05:51 1m 25s
⬆️ Bump the development-dependencies group with 4 updates Check dist/ #961: Pull request #369 opened by dependabot bot
March 24, 2025 05:51 22s dependabot/npm_and_yarn/development-dependencies-3dabb01461
dependabot/npm_and_yarn/development-dependencies-3dabb01461
March 24, 2025 05:51 22s
⬆️ Bump the development-dependencies group with 4 updates units-test #954: Pull request #369 opened by dependabot bot
March 24, 2025 05:51 50s dependabot/npm_and_yarn/development-dependencies-3dabb01461
dependabot/npm_and_yarn/development-dependencies-3dabb01461
March 24, 2025 05:51 50s
⬆️ Bump the development-dependencies group with 4 updates Release Drafter #561: Pull request #369 opened by dependabot bot
March 24, 2025 05:51 10s
March 24, 2025 05:51 10s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1524: Commit 9c6b87d pushed by dependabot bot
March 24, 2025 05:51 1m 22s dependabot/npm_and_yarn/development-dependencies-3dabb01461
dependabot/npm_and_yarn/development-dependencies-3dabb01461
March 24, 2025 05:51 1m 22s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the production-dependencies group units-test #953: Pull request #368 opened by dependabot bot
March 24, 2025 05:51 42s dependabot/npm_and_yarn/production-dependencies-87525c3ebe
dependabot/npm_and_yarn/production-dependencies-87525c3ebe
March 24, 2025 05:51 42s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the production-dependencies group Check dist/ #960: Pull request #368 opened by dependabot bot
March 24, 2025 05:51 20s dependabot/npm_and_yarn/production-dependencies-87525c3ebe
dependabot/npm_and_yarn/production-dependencies-87525c3ebe
March 24, 2025 05:51 20s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the production-dependencies group CodeQL #1523: Pull request #368 opened by dependabot bot
March 24, 2025 05:51 1m 29s dependabot/npm_and_yarn/production-dependencies-87525c3ebe
dependabot/npm_and_yarn/production-dependencies-87525c3ebe
March 24, 2025 05:51 1m 29s
⬆️ Bump @octokit/openapi-types from 24.0.0 to 24.2.0 in the production-dependencies group Release Drafter #560: Pull request #368 opened by dependabot bot
March 24, 2025 05:51 7s
March 24, 2025 05:51 7s
⬆️ Bump @octokit/openapi-types CodeQL #1522: Commit 66f2a91 pushed by dependabot bot
March 24, 2025 05:51 1m 25s dependabot/npm_and_yarn/production-dependencies-87525c3ebe
dependabot/npm_and_yarn/production-dependencies-87525c3ebe
March 24, 2025 05:51 1m 25s
npm_and_yarn in /. - Update #985277695 Dependabot Updates #114: by dependabot bot
March 24, 2025 05:50 1m 34s main
main
March 24, 2025 05:50 1m 34s
github_actions in /. - Update #985252543 Dependabot Updates #113: by dependabot bot
March 24, 2025 05:19 37s main
main
March 24, 2025 05:19 37s
CodeQL CodeQL #1521: Scheduled
March 19, 2025 07:36 1m 22s main
main
March 19, 2025 07:36 1m 22s
⬆️ Bump actions/setup-node from 4.2.0 to 4.3.0 in the github-actions … CodeQL #1520: Commit 71a9a00 pushed by dependabot bot
March 17, 2025 07:40 1m 20s main
main
March 17, 2025 07:40 1m 20s
⬆️ Bump actions/setup-node from 4.2.0 to 4.3.0 in the github-actions … Check dist/ #959: Commit 71a9a00 pushed by dependabot bot
March 17, 2025 07:40 20s main
main
March 17, 2025 07:40 20s
⬆️ Bump actions/setup-node from 4.2.0 to 4.3.0 in the github-actions … Release Drafter #559: Commit 71a9a00 pushed by dependabot bot
March 17, 2025 07:40 9s main
main
March 17, 2025 07:40 9s