Skip to content

Actions: cda-tum/setup-z3

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #836258430 Dependabot Updates #6: by dependabot bot
June 3, 2024 05:00 2m 56s main
main
June 3, 2024 05:00 2m 56s
npm_and_yarn in /. - Update #836219487 Dependabot Updates #5: by dependabot bot
June 3, 2024 04:11 51m 2s main
main
June 3, 2024 04:11 51m 2s
CodeQL CodeQL #1260: Scheduled
May 29, 2024 07:36 1m 4s main
main
May 29, 2024 07:36 1m 4s
⬆️🪝 update pre-commit hooks (#305) units-test #818: Commit bd10308 pushed by burgholzer
May 27, 2024 17:51 1m 7s main
main
May 27, 2024 17:51 1m 7s
⬆️🪝 update pre-commit hooks (#305) Release Drafter #425: Commit bd10308 pushed by burgholzer
May 27, 2024 17:51 11s main
main
May 27, 2024 17:51 11s
⬆️🪝 update pre-commit hooks (#305) Check dist/ #825: Commit bd10308 pushed by burgholzer
May 27, 2024 17:51 29s main
main
May 27, 2024 17:51 29s
⬆️🪝 update pre-commit hooks (#305) CodeQL #1259: Commit bd10308 pushed by burgholzer
May 27, 2024 17:51 1m 48s main
main
May 27, 2024 17:51 1m 48s
⬆️🪝 update pre-commit hooks Release Drafter #424: Pull request #305 opened by pre-commit-ci bot
May 27, 2024 17:32 48s
May 27, 2024 17:32 48s
⬆️🪝 update pre-commit hooks Check dist/ #824: Pull request #305 opened by pre-commit-ci bot
May 27, 2024 17:32 1m 7s pre-commit-ci-update-config
pre-commit-ci-update-config
May 27, 2024 17:32 1m 7s
⬆️🪝 update pre-commit hooks units-test #817: Pull request #305 opened by pre-commit-ci bot
May 27, 2024 17:32 1m 27s pre-commit-ci-update-config
pre-commit-ci-update-config
May 27, 2024 17:32 1m 27s
⬆️🪝 update pre-commit hooks CodeQL #1258: Pull request #305 opened by pre-commit-ci bot
May 27, 2024 17:32 2m 26s pre-commit-ci-update-config
pre-commit-ci-update-config
May 27, 2024 17:32 2m 26s
⬆️🪝 update pre-commit hooks CodeQL #1257: Commit 27a8b80 pushed by pre-commit-ci bot
May 27, 2024 17:32 1m 49s pre-commit-ci-update-config
pre-commit-ci-update-config
May 27, 2024 17:32 1m 49s
github_actions in /. - Update #833075697 Dependabot Updates #4: by dependabot bot
May 27, 2024 04:43 45s main
main
May 27, 2024 04:43 45s
npm_and_yarn in /. - Update #833060115 Dependabot Updates #3: by dependabot bot
May 27, 2024 04:22 55m 18s main
main
May 27, 2024 04:22 55m 18s
CodeQL CodeQL #1256: Scheduled
May 22, 2024 07:35 11m 38s main
main
May 22, 2024 07:35 11m 38s
npm_and_yarn in /. - Update #830082689 Dependabot Updates #2: by dependabot bot
May 20, 2024 04:41 52m 47s main
main
May 20, 2024 04:41 52m 47s
github_actions in /. - Update #830073109 Dependabot Updates #1: by dependabot bot
May 20, 2024 04:28 41s main
main
May 20, 2024 04:28 41s
CodeQL CodeQL #1255: Scheduled
May 15, 2024 07:34 1m 42s main
main
May 15, 2024 07:34 1m 42s
Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the producti… CodeQL #1254: Commit 2615fe0 pushed by burgholzer
May 13, 2024 09:57 1m 44s v1.4.0
v1.4.0
May 13, 2024 09:57 1m 44s
Release 1.4.0 Release #18: Release v1.4.0 published by burgholzer
May 13, 2024 09:57 17s
May 13, 2024 09:57 17s
Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the producti… Release Drafter #423: Commit 2615fe0 pushed by burgholzer
May 13, 2024 09:54 13s main
main
May 13, 2024 09:54 13s
Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the producti… CodeQL #1253: Commit 2615fe0 pushed by burgholzer
May 13, 2024 09:54 1m 34s main
main
May 13, 2024 09:54 1m 34s
Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the producti… units-test #816: Commit 2615fe0 pushed by burgholzer
May 13, 2024 09:54 54s main
main
May 13, 2024 09:54 54s
Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the producti… Check dist/ #823: Commit 2615fe0 pushed by burgholzer
May 13, 2024 09:54 31s main
main
May 13, 2024 09:54 31s
Build(deps): Bump @octokit/action from 6.1.0 to 7.0.0 in the production-dependencies group units-test #815: Pull request #304 synchronize by burgholzer
May 13, 2024 09:49 54s dependabot/npm_and_yarn/production-dependencies-8060a2617f
dependabot/npm_and_yarn/production-dependencies-8060a2617f
May 13, 2024 09:49 54s
ProTip! You can narrow down the results and go further in time using created:<2024-05-13 or the other filters available.