Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

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 the development-dependencies group across 1 directory with 6 updates Check dist/ #1145: Pull request #442 synchronize by dependabot Bot
1m 49s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
1m 49s
⬆️ Bump the development-dependencies group across 1 directory with 6 updates CodeQL #1892: Pull request #442 synchronize by dependabot Bot
1m 50s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
1m 50s
⬆️ Bump the development-dependencies group across 1 directory… CodeQL #1891: Commit 0d3a366 pushed by dependabot Bot
2m 31s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
2m 31s
npm_and_yarn in / for @types/node, eslint, eslint-plugin-jest, ts-jest, typescript, typescript-eslint - Update #1346292052 Dependabot Updates #355: by dependabot Bot
1m 40s main
main
1m 40s
github_actions in /. - Update #1346292021 Dependabot Updates #354: by dependabot Bot
38s main
main
38s
npm_and_yarn in /. - Update #1346292018 Dependabot Updates #353: by dependabot Bot
44s main
main
44s
Code Quality: Scheduled CodeQL #18: by github-advanced-security AI
53s main
main
53s
CodeQL CodeQL #1890: Scheduled
1m 21s main
main
1m 21s
⬆️ Bump @actions/core from 3.0.0 to 3.0.1 in the production-dependenc… CodeQL #1889: Commit f25b0df pushed by burgholzer
1m 6s main
main
1m 6s
⬆️ Bump @actions/core from 3.0.0 to 3.0.1 in the production-dependenc… Release Drafter #733: Commit f25b0df pushed by burgholzer
8s main
main
8s
⬆️ Bump @actions/core from 3.0.0 to 3.0.1 in the production-dependenc… Check dist/ #1144: Commit f25b0df pushed by burgholzer
25s main
main
25s
⬆️ 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
Code Quality: Push on main CodeQL #17: by github-advanced-security AI
57s main
main
57s
⬆️ 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 the development-dependencies group across 1 directory with 6 updates Check dist/ #1143: Pull request #442 synchronize by dependabot Bot
2m 49s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
2m 49s
⬆️ Bump the development-dependencies group across 1 directory with 6 updates CodeQL #1888: Pull request #442 synchronize by dependabot Bot
3m 2s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
3m 2s
⬆️ Bump the development-dependencies group across 1 directory… CodeQL #1887: Commit 8455d42 pushed by dependabot Bot
1m 10s dependabot/npm_and_yarn/development-dependencies-8e29ae8702
dependabot/npm_and_yarn/development-dependencies-8e29ae8702
1m 10s
⬆️ Bump @actions/core from 3.0.0 to 3.0.1 in the production-dependencies group Check dist/ #1142: Pull request #445 opened by dependabot Bot
22s dependabot/npm_and_yarn/production-dependencies-3fc5768f56
dependabot/npm_and_yarn/production-dependencies-3fc5768f56
22s
⬆️ 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
⬆️ Bump @actions/core from 3.0.0 to 3.0.1 in the production-dependencies group CodeQL #1886: Pull request #445 opened by dependabot Bot
1m 12s dependabot/npm_and_yarn/production-dependencies-3fc5768f56
dependabot/npm_and_yarn/production-dependencies-3fc5768f56
1m 12s
⬆️ Bump @actions/core in the production-dependencies group CodeQL #1885: Commit 13b4d92 pushed by dependabot Bot
1m 8s dependabot/npm_and_yarn/production-dependencies-3fc5768f56
dependabot/npm_and_yarn/production-dependencies-3fc5768f56
1m 8s
npm_and_yarn in / for @types/node, eslint, eslint-plugin-jest, ts-jest, typescript, typescript-eslint - Update #1338036359 Dependabot Updates #352: by dependabot Bot
1m 31s main
main
1m 31s
npm_and_yarn in /. - Update #1338036315 Dependabot Updates #351: by dependabot Bot
51s main
main
51s
github_actions in /. - Update #1338036307 Dependabot Updates #350: by dependabot Bot
41s main
main
41s