Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #1424: Scheduled
December 25, 2024 07:35 1m 3s main
main
December 25, 2024 07:35 1m 3s
⬆️ Bump the development-dependencies group with 2 updates (#344) CodeQL #1423: Commit a3e605d pushed by burgholzer
December 23, 2024 08:22 1m 2s v1.6.2
v1.6.2
December 23, 2024 08:22 1m 2s
Release 1.6.2 Release #23: Release v1.6.2 published by burgholzer
December 23, 2024 08:22 16s
December 23, 2024 08:22 16s
⬆️ Bump the development-dependencies group with 2 updates (#344) units-test #901: Commit a3e605d pushed by burgholzer
December 23, 2024 07:50 5m 9s main
main
December 23, 2024 07:50 5m 9s
⬆️ Bump the development-dependencies group with 2 updates (#344) Check dist/ #908: Commit a3e605d pushed by burgholzer
December 23, 2024 07:50 1m 44s main
main
December 23, 2024 07:50 1m 44s
⬆️ Bump the development-dependencies group with 2 updates (#344) CodeQL #1422: Commit a3e605d pushed by burgholzer
December 23, 2024 07:50 2m 23s main
main
December 23, 2024 07:50 2m 23s
⬆️ Bump the development-dependencies group with 2 updates (#344) Release Drafter #508: Commit a3e605d pushed by burgholzer
December 23, 2024 07:50 1m 4s main
main
December 23, 2024 07:50 1m 4s
⬆️ Bump the development-dependencies group with 2 updates Release Drafter #507: Pull request #344 opened by dependabot bot
December 23, 2024 05:45 11s
December 23, 2024 05:45 11s
⬆️ Bump the development-dependencies group with 2 updates units-test #900: Pull request #344 opened by dependabot bot
December 23, 2024 05:45 46s dependabot/npm_and_yarn/development-dependencies-661e72e783
dependabot/npm_and_yarn/development-dependencies-661e72e783
December 23, 2024 05:45 46s
⬆️ Bump the development-dependencies group with 2 updates Check dist/ #907: Pull request #344 opened by dependabot bot
December 23, 2024 05:45 25s dependabot/npm_and_yarn/development-dependencies-661e72e783
dependabot/npm_and_yarn/development-dependencies-661e72e783
December 23, 2024 05:45 25s
⬆️ Bump the development-dependencies group with 2 updates CodeQL #1421: Pull request #344 opened by dependabot bot
December 23, 2024 05:45 1m 12s dependabot/npm_and_yarn/development-dependencies-661e72e783
dependabot/npm_and_yarn/development-dependencies-661e72e783
December 23, 2024 05:45 1m 12s
⬆️ Bump the development-dependencies group with 2 updates CodeQL #1420: Commit 80b17d8 pushed by dependabot bot
December 23, 2024 05:45 1m 10s dependabot/npm_and_yarn/development-dependencies-661e72e783
dependabot/npm_and_yarn/development-dependencies-661e72e783
December 23, 2024 05:45 1m 10s
npm_and_yarn in /. - Update #936699049 Dependabot Updates #75: by dependabot bot
December 23, 2024 05:44 1m 15s main
main
December 23, 2024 05:44 1m 15s
github_actions in /. - Update #936671062 Dependabot Updates #74: by dependabot bot
December 23, 2024 05:02 46s main
main
December 23, 2024 05:02 46s
CodeQL CodeQL #1419: Scheduled
December 18, 2024 07:35 1m 30s main
main
December 18, 2024 07:35 1m 30s
⬆️ Bump the development-dependencies group with 4 updates (#343) Check dist/ #906: Commit ea6e0c1 pushed by burgholzer
December 16, 2024 07:38 46s main
main
December 16, 2024 07:38 46s
⬆️ Bump the development-dependencies group with 4 updates (#343) Release Drafter #506: Commit ea6e0c1 pushed by burgholzer
December 16, 2024 07:38 24s main
main
December 16, 2024 07:38 24s
⬆️ Bump the development-dependencies group with 4 updates (#343) units-test #899: Commit ea6e0c1 pushed by burgholzer
December 16, 2024 07:38 3m 27s main
main
December 16, 2024 07:38 3m 27s
⬆️ Bump the development-dependencies group with 4 updates (#343) CodeQL #1418: Commit ea6e0c1 pushed by burgholzer
December 16, 2024 07:38 1m 38s main
main
December 16, 2024 07:38 1m 38s
⬆️ Bump the development-dependencies group with 4 updates Release Drafter #505: Pull request #343 opened by dependabot bot
December 16, 2024 05:47 12s
December 16, 2024 05:47 12s
⬆️ Bump the development-dependencies group with 4 updates units-test #898: Pull request #343 opened by dependabot bot
December 16, 2024 05:47 56s dependabot/npm_and_yarn/development-dependencies-b225b4942a
dependabot/npm_and_yarn/development-dependencies-b225b4942a
December 16, 2024 05:47 56s
⬆️ Bump the development-dependencies group with 4 updates Check dist/ #905: Pull request #343 opened by dependabot bot
December 16, 2024 05:47 26s dependabot/npm_and_yarn/development-dependencies-b225b4942a
dependabot/npm_and_yarn/development-dependencies-b225b4942a
December 16, 2024 05:47 26s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1417: Pull request #343 opened by dependabot bot
December 16, 2024 05:47 1m 26s dependabot/npm_and_yarn/development-dependencies-b225b4942a
dependabot/npm_and_yarn/development-dependencies-b225b4942a
December 16, 2024 05:47 1m 26s
⬆️ Bump the development-dependencies group with 4 updates CodeQL #1416: Commit b84cd19 pushed by dependabot bot
December 16, 2024 05:47 1m 26s dependabot/npm_and_yarn/development-dependencies-b225b4942a
dependabot/npm_and_yarn/development-dependencies-b225b4942a
December 16, 2024 05:47 1m 26s
npm_and_yarn in /. - Update #933062996 Dependabot Updates #73: by dependabot bot
December 16, 2024 05:46 1m 21s main
main
December 16, 2024 05:46 1m 21s