Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm_and_yarn group units-test #980: Pull request #379 synchronize by burgholzer
May 18, 2025 21:46 45s dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
May 18, 2025 21:46 45s
⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm_and_yarn group Release Drafter #587: Pull request #379 synchronize by burgholzer
May 18, 2025 21:46 10s
May 18, 2025 21:46 10s
📦 update dist CodeQL #1573: Commit 31ff4eb pushed by burgholzer
May 18, 2025 21:46 1m 28s dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
May 18, 2025 21:46 1m 28s
⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm_and_yarn group Check dist/ #986: Pull request #379 opened by dependabot bot
May 15, 2025 16:33 25s dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
May 15, 2025 16:33 25s
⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm_and_yarn group units-test #979: Pull request #379 opened by dependabot bot
May 15, 2025 16:33 42s dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
May 15, 2025 16:33 42s
⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm_and_yarn group CodeQL #1572: Pull request #379 opened by dependabot bot
May 15, 2025 16:33 1m 9s dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
May 15, 2025 16:33 1m 9s
⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm_and_yarn group Release Drafter #586: Pull request #379 opened by dependabot bot
May 15, 2025 16:33 10s
May 15, 2025 16:33 10s
⬆️ Bump undici from 5.28.5 to 5.29.0 in the npm_and_yarn group CodeQL #1571: Commit 16ff1ab pushed by dependabot bot
May 15, 2025 16:33 1m 7s dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
dependabot/npm_and_yarn/npm_and_yarn-87115a91ec
May 15, 2025 16:33 1m 7s
npm_and_yarn in /. for undici - Update #1016516808 Dependabot Updates #139: by dependabot bot
May 15, 2025 16:32 59s main
main
May 15, 2025 16:32 59s
CodeQL CodeQL #1570: Scheduled
May 14, 2025 07:34 1m 5s main
main
May 14, 2025 07:34 1m 5s
github_actions in /. - Update #1013841532 Dependabot Updates #138: by dependabot bot
May 12, 2025 04:59 35s main
main
May 12, 2025 04:59 35s
⬆️ Bump the development-dependencies group with 3 updates (#378) Check dist/ #985: Commit c3157ad pushed by burgholzer
May 12, 2025 04:47 23s main
main
May 12, 2025 04:47 23s
⬆️ Bump the development-dependencies group with 3 updates (#378) units-test #978: Commit c3157ad pushed by burgholzer
May 12, 2025 04:47 42s main
main
May 12, 2025 04:47 42s
⬆️ Bump the development-dependencies group with 3 updates (#378) CodeQL #1569: Commit c3157ad pushed by burgholzer
May 12, 2025 04:47 1m 1s main
main
May 12, 2025 04:47 1m 1s
⬆️ Bump the development-dependencies group with 3 updates (#378) Release Drafter #585: Commit c3157ad pushed by burgholzer
May 12, 2025 04:47 9s main
main
May 12, 2025 04:47 9s
⬆️ Bump the development-dependencies group with 3 updates Check dist/ #984: Pull request #378 opened by dependabot bot
May 12, 2025 04:07 1m 11s dependabot/npm_and_yarn/development-dependencies-d767506c84
dependabot/npm_and_yarn/development-dependencies-d767506c84
May 12, 2025 04:07 1m 11s
⬆️ Bump the development-dependencies group with 3 updates units-test #977: Pull request #378 opened by dependabot bot
May 12, 2025 04:07 1m 31s dependabot/npm_and_yarn/development-dependencies-d767506c84
dependabot/npm_and_yarn/development-dependencies-d767506c84
May 12, 2025 04:07 1m 31s
⬆️ Bump the development-dependencies group with 3 updates CodeQL #1568: Pull request #378 opened by dependabot bot
May 12, 2025 04:07 2m 16s dependabot/npm_and_yarn/development-dependencies-d767506c84
dependabot/npm_and_yarn/development-dependencies-d767506c84
May 12, 2025 04:07 2m 16s
⬆️ Bump the development-dependencies group with 3 updates Release Drafter #584: Pull request #378 opened by dependabot bot
May 12, 2025 04:07 30s
May 12, 2025 04:07 30s
⬆️ Bump the development-dependencies group with 3 updates CodeQL #1567: Commit 23104f6 pushed by dependabot bot
May 12, 2025 04:07 1m 52s dependabot/npm_and_yarn/development-dependencies-d767506c84
dependabot/npm_and_yarn/development-dependencies-d767506c84
May 12, 2025 04:07 1m 52s
npm_and_yarn in /. - Update #1013796844 Dependabot Updates #137: by dependabot bot
May 12, 2025 04:06 1m 19s main
main
May 12, 2025 04:06 1m 19s
CodeQL CodeQL #1566: Scheduled
May 7, 2025 07:34 1m 18s main
main
May 7, 2025 07:34 1m 18s
⬆️ Bump the production-dependencies group with 2 updates (#373) CodeQL #1565: Commit a477317 pushed by dependabot bot
May 5, 2025 08:25 6m 34s main
main
May 5, 2025 08:25 6m 34s
⬆️ Bump the production-dependencies group with 2 updates (#373) Release Drafter #583: Commit a477317 pushed by dependabot bot
May 5, 2025 08:25 4m 35s main
main
May 5, 2025 08:25 4m 35s
⬆️ Bump the production-dependencies group with 2 updates (#373) Check dist/ #983: Commit a477317 pushed by dependabot bot
May 5, 2025 08:25 6m 1s main
main
May 5, 2025 08:25 6m 1s