Skip to content

Actions: cda-tum/setup-z3

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Bump the development-dependencies group with 3 updates CodeQL #1350: Pull request #326 opened by dependabot bot
September 23, 2024 04:34 1m 34s dependabot/npm_and_yarn/development-dependencies-31759a51cd
dependabot/npm_and_yarn/development-dependencies-31759a51cd
September 23, 2024 04:34 1m 34s
⬆️ Bump the development-dependencies group with 3 updates CodeQL #1349: Commit 20e7b31 pushed by dependabot bot
September 23, 2024 04:34 1m 37s dependabot/npm_and_yarn/development-dependencies-31759a51cd
dependabot/npm_and_yarn/development-dependencies-31759a51cd
September 23, 2024 04:34 1m 37s
⬆️ Bump actions/setup-node from 4.0.3 to 4.0.4 in the github-actions group CodeQL #1348: Pull request #325 opened by dependabot bot
September 23, 2024 04:21 1m 40s dependabot/github_actions/github-actions-916932a5fa
dependabot/github_actions/github-actions-916932a5fa
September 23, 2024 04:21 1m 40s
⬆️ Bump actions/setup-node in the github-actions group CodeQL #1347: Commit 4e469ff pushed by dependabot bot
September 23, 2024 04:21 1m 44s dependabot/github_actions/github-actions-916932a5fa
dependabot/github_actions/github-actions-916932a5fa
September 23, 2024 04:21 1m 44s
CodeQL CodeQL #1346: Scheduled
September 18, 2024 07:36 1m 46s main
main
September 18, 2024 07:36 1m 46s
⬆️ Bump the development-dependencies group with 4 updates (#324) CodeQL #1345: Commit 63b7d89 pushed by dependabot bot
September 16, 2024 04:59 1m 34s main
main
September 16, 2024 04:59 1m 34s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1344: Pull request #324 opened by dependabot bot
September 16, 2024 04:52 1m 45s dependabot/npm_and_yarn/development-dependencies-b6af216c0f
dependabot/npm_and_yarn/development-dependencies-b6af216c0f
September 16, 2024 04:52 1m 45s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1343: Commit 5b5b939 pushed by dependabot bot
September 16, 2024 04:52 1m 39s dependabot/npm_and_yarn/development-dependencies-b6af216c0f
dependabot/npm_and_yarn/development-dependencies-b6af216c0f
September 16, 2024 04:52 1m 39s
CodeQL CodeQL #1342: Scheduled
September 11, 2024 07:35 1m 5s main
main
September 11, 2024 07:35 1m 5s
🚸 automatically use GitHub token (#323) CodeQL #1341: Commit 9e310fb pushed by burgholzer
September 9, 2024 21:08 1m 13s v1.6.0
v1.6.0
September 9, 2024 21:08 1m 13s
🚸 automatically use GitHub token (#323) CodeQL #1340: Commit 9e310fb pushed by burgholzer
September 9, 2024 21:04 1m 7s main
main
September 9, 2024 21:04 1m 7s
🚸 automatically use GitHub token CodeQL #1339: Pull request #323 synchronize by burgholzer
September 9, 2024 21:01 1m 16s default-token
default-token
September 9, 2024 21:01 1m 16s
🚸 automatically use GitHub token and use @octokit/core instead of `… CodeQL #1338: Commit 3ddb8e9 pushed by burgholzer
September 9, 2024 21:01 1m 7s default-token
default-token
September 9, 2024 21:01 1m 7s
🚸 automatically use GitHub token CodeQL #1337: Pull request #323 synchronize by burgholzer
September 9, 2024 20:58 1m 14s default-token
default-token
September 9, 2024 20:58 1m 14s
🔥 remove token from CI workflow CodeQL #1336: Commit 77c455c pushed by burgholzer
September 9, 2024 20:58 1m 7s default-token
default-token
September 9, 2024 20:58 1m 7s
🚸 automatically use GitHub token CodeQL #1335: Pull request #323 synchronize by burgholzer
September 9, 2024 20:55 1m 5s default-token
default-token
September 9, 2024 20:55 1m 5s
♻️ make token optional and use @octokit/core instead of `@octokit/a… CodeQL #1334: Commit ab0e76f pushed by burgholzer
September 9, 2024 20:55 1m 4s default-token
default-token
September 9, 2024 20:55 1m 4s
🚸 automatically use GitHub token CodeQL #1333: Pull request #323 synchronize by burgholzer
September 9, 2024 20:41 2m 47s default-token
default-token
September 9, 2024 20:41 2m 47s
🚨 fix linter warning CodeQL #1332: Commit e5dea04 pushed by burgholzer
September 9, 2024 20:41 1m 34s default-token
default-token
September 9, 2024 20:41 1m 34s
🚸 automatically use GitHub token CodeQL #1331: Pull request #323 synchronize by burgholzer
September 9, 2024 20:33 1m 7s default-token
default-token
September 9, 2024 20:33 1m 7s
🩹 adjust tests CodeQL #1330: Commit 45b28e3 pushed by burgholzer
September 9, 2024 20:33 1m 11s default-token
default-token
September 9, 2024 20:33 1m 11s
🚸 automatically use GitHub token CodeQL #1329: Pull request #323 opened by burgholzer
September 9, 2024 20:21 1m 12s default-token
default-token
September 9, 2024 20:21 1m 12s
🚸 automatically use GitHub token CodeQL #1328: Commit 68feaad pushed by burgholzer
September 9, 2024 20:17 1m 13s default-token
default-token
September 9, 2024 20:17 1m 13s
⬆️ Bump the development-dependencies group with 5 updates (#322) CodeQL #1327: Commit eb66033 pushed by dependabot bot
September 9, 2024 07:07 1m 12s main
main
September 9, 2024 07:07 1m 12s
⬆️ Bump the development-dependencies group with 5 updates CodeQL #1326: Pull request #322 opened by dependabot bot
September 9, 2024 04:38 1m 6s dependabot/npm_and_yarn/development-dependencies-d7f15403c0
dependabot/npm_and_yarn/development-dependencies-d7f15403c0
September 9, 2024 04:38 1m 6s