Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1444: Scheduled
January 15, 2025 07:35 1m 26s main
main
January 15, 2025 07:35 1m 26s
Release 1.6.3 Release #24: Release v1.6.3 published by burgholzer
January 13, 2025 07:48 14s
January 13, 2025 07:48 14s
⬆️ Bump the production-dependencies group across 1 directory with 2 u… CodeQL #1443: Commit 7ceeefe pushed by burgholzer
January 13, 2025 07:48 1m 24s v1.6.3
v1.6.3
January 13, 2025 07:48 1m 24s
⬆️ Bump the production-dependencies group across 1 directory with 2 u… Check dist/ #918: Commit 7ceeefe pushed by dependabot bot
January 13, 2025 07:44 23s main
main
January 13, 2025 07:44 23s
⬆️ Bump the production-dependencies group across 1 directory with 2 u… Release Drafter #518: Commit 7ceeefe pushed by dependabot bot
January 13, 2025 07:44 15s main
main
January 13, 2025 07:44 15s
⬆️ Bump the production-dependencies group across 1 directory with 2 u… units-test #911: Commit 7ceeefe pushed by dependabot bot
January 13, 2025 07:44 44s main
main
January 13, 2025 07:44 44s
⬆️ Bump the production-dependencies group across 1 directory with 2 u… CodeQL #1442: Commit 7ceeefe pushed by dependabot bot
January 13, 2025 07:44 1m 28s main
main
January 13, 2025 07:44 1m 28s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates units-test #910: Pull request #348 synchronize by burgholzer
January 13, 2025 07:42 56s dependabot/npm_and_yarn/production-dependencies-8de7561743
dependabot/npm_and_yarn/production-dependencies-8de7561743
January 13, 2025 07:42 56s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates Check dist/ #917: Pull request #348 synchronize by burgholzer
January 13, 2025 07:42 27s dependabot/npm_and_yarn/production-dependencies-8de7561743
dependabot/npm_and_yarn/production-dependencies-8de7561743
January 13, 2025 07:42 27s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates CodeQL #1441: Pull request #348 synchronize by burgholzer
January 13, 2025 07:42 1m 30s dependabot/npm_and_yarn/production-dependencies-8de7561743
dependabot/npm_and_yarn/production-dependencies-8de7561743
January 13, 2025 07:42 1m 30s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates Release Drafter #517: Pull request #348 synchronize by burgholzer
January 13, 2025 07:42 15s
January 13, 2025 07:42 15s
📦 update dist CodeQL #1440: Commit 981fd63 pushed by burgholzer
January 13, 2025 07:42 1m 24s dependabot/npm_and_yarn/production-dependencies-8de7561743
dependabot/npm_and_yarn/production-dependencies-8de7561743
January 13, 2025 07:42 1m 24s
⬆️ Bump the development-dependencies group with 4 updates (#349) CodeQL #1439: Commit 52c0090 pushed by dependabot bot
January 13, 2025 05:56 1m 23s main
main
January 13, 2025 05:56 1m 23s
⬆️ Bump the development-dependencies group with 4 updates (#349) Check dist/ #916: Commit 52c0090 pushed by dependabot bot
January 13, 2025 05:56 24s main
main
January 13, 2025 05:56 24s
⬆️ Bump the development-dependencies group with 4 updates (#349) units-test #909: Commit 52c0090 pushed by dependabot bot
January 13, 2025 05:56 2m 3s main
main
January 13, 2025 05:56 2m 3s
⬆️ Bump the development-dependencies group with 4 updates (#349) Release Drafter #516: Commit 52c0090 pushed by dependabot bot
January 13, 2025 05:56 11s main
main
January 13, 2025 05:56 11s
⬆️ Bump the development-dependencies group with 4 updates Check dist/ #915: Pull request #349 opened by dependabot bot
January 13, 2025 05:41 2m 34s dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
January 13, 2025 05:41 2m 34s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1438: Pull request #349 opened by dependabot bot
January 13, 2025 05:41 3m 9s dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
January 13, 2025 05:41 3m 9s
⬆️ Bump the development-dependencies group with 4 updates units-test #908: Pull request #349 opened by dependabot bot
January 13, 2025 05:41 3m 21s dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
January 13, 2025 05:41 3m 21s
⬆️ Bump the development-dependencies group with 4 updates Release Drafter #515: Pull request #349 opened by dependabot bot
January 13, 2025 05:41 1m 43s
January 13, 2025 05:41 1m 43s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1437: Commit 84b3a6d pushed by dependabot bot
January 13, 2025 05:41 2m 46s dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
dependabot/npm_and_yarn/development-dependencies-c7b904b5c6
January 13, 2025 05:41 2m 46s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates units-test #907: Pull request #348 opened by dependabot bot
January 13, 2025 05:40 1m 47s dependabot/npm_and_yarn/production-dependencies-8de7561743
dependabot/npm_and_yarn/production-dependencies-8de7561743
January 13, 2025 05:40 1m 47s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates CodeQL #1436: Pull request #348 opened by dependabot bot
January 13, 2025 05:40 2m 56s dependabot/npm_and_yarn/production-dependencies-8de7561743
dependabot/npm_and_yarn/production-dependencies-8de7561743
January 13, 2025 05:40 2m 56s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates Check dist/ #914: Pull request #348 opened by dependabot bot
January 13, 2025 05:40 1m 50s dependabot/npm_and_yarn/production-dependencies-8de7561743
dependabot/npm_and_yarn/production-dependencies-8de7561743
January 13, 2025 05:40 1m 50s
⬆️ Bump the production-dependencies group across 1 directory with 2 updates Release Drafter #514: Pull request #348 opened by dependabot bot
January 13, 2025 05:40 52s
January 13, 2025 05:40 52s