Skip to content

Actions: cda-tum/setup-z3

Actions

Check dist/

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-dist.yml
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build(deps-dev): Bump the development-dependencies group with 4 updat… Check dist/ #764: Commit 796af9a pushed by dependabot bot
January 15, 2024 08:26 31s main
main
January 15, 2024 08:26 31s
Build(deps-dev): Bump the development-dependencies group with 4 updates Check dist/ #763: Pull request #278 opened by dependabot bot
January 15, 2024 05:52 33s dependabot/npm_and_yarn/development-dependencies-eaef14c4aa
dependabot/npm_and_yarn/development-dependencies-eaef14c4aa
January 15, 2024 05:52 33s
Build(deps-dev): Bump the development-dependencies group with 4 updat… Check dist/ #762: Commit 1da5a7b pushed by dependabot bot
January 8, 2024 08:02 36s main
main
January 8, 2024 08:02 36s
Build(deps-dev): Bump the development-dependencies group with 4 updates Check dist/ #761: Pull request #277 opened by dependabot bot
January 8, 2024 05:49 35s dependabot/npm_and_yarn/development-dependencies-517ec131a2
dependabot/npm_and_yarn/development-dependencies-517ec131a2
January 8, 2024 05:49 35s
Add the ability to link against the downloaded Z3 version (#275) Check dist/ #760: Commit 2e36b65 pushed by burgholzer
January 2, 2024 09:45 27s main
main
January 2, 2024 09:45 27s
Build(deps-dev): Bump the development-dependencies group with 3 updat… Check dist/ #759: Commit 8c1106c pushed by dependabot bot
January 1, 2024 13:42 36s main
main
January 1, 2024 13:42 36s
Build(deps-dev): Bump the development-dependencies group with 3 updates Check dist/ #758: Pull request #276 opened by dependabot bot
January 1, 2024 05:13 48s dependabot/npm_and_yarn/development-dependencies-2eb9efb8b1
dependabot/npm_and_yarn/development-dependencies-2eb9efb8b1
January 1, 2024 05:13 48s
Add the ability to link against the downloaded Z3 version Check dist/ #757: Pull request #275 synchronize by daemontus
December 27, 2023 16:02 26s daemontus:main
daemontus:main
December 27, 2023 16:02 26s
Add the ability to link against the downloaded Z3 version Check dist/ #756: Pull request #275 synchronize by daemontus
December 27, 2023 16:00 34s daemontus:main
daemontus:main
December 27, 2023 16:00 34s
Add the ability to link against the downloaded Z3 version Check dist/ #755: Pull request #275 synchronize by daemontus
December 27, 2023 15:57 32s daemontus:main
daemontus:main
December 27, 2023 15:57 32s
Add the ability to link against the downloaded Z3 version Check dist/ #754: Pull request #275 synchronize by pre-commit-ci bot
December 27, 2023 15:40 32s daemontus:main
daemontus:main
December 27, 2023 15:40 32s
Add the ability to link against the downloaded Z3 version Check dist/ #753: Pull request #275 opened by daemontus
December 27, 2023 15:39 27s daemontus:main
daemontus:main
December 27, 2023 15:39 27s
⬆️🪝 update pre-commit hooks (#274) Check dist/ #752: Commit d1db3ca pushed by burgholzer
December 26, 2023 09:23 52s main
main
December 26, 2023 09:23 52s
⬆️🪝 update pre-commit hooks Check dist/ #751: Pull request #274 opened by pre-commit-ci bot
December 25, 2023 17:32 4m 37s pre-commit-ci-update-config
pre-commit-ci-update-config
December 25, 2023 17:32 4m 37s
Build(deps): Bump the github-actions group with 1 update (#273) Check dist/ #750: Commit c8d8afe pushed by dependabot bot
December 25, 2023 11:15 1m 10s main
main
December 25, 2023 11:15 1m 10s
Build(deps-dev): Bump the development-dependencies group with 2 updat… Check dist/ #749: Commit 71505e5 pushed by dependabot bot
December 25, 2023 11:15 3m 5s main
main
December 25, 2023 11:15 3m 5s
Build(deps): Bump the github-actions group with 1 update Check dist/ #748: Pull request #273 opened by dependabot bot
December 25, 2023 05:30 29s dependabot/github_actions/github-actions-93a8451e6e
dependabot/github_actions/github-actions-93a8451e6e
December 25, 2023 05:30 29s
Build(deps-dev): Bump the development-dependencies group with 2 updates Check dist/ #747: Pull request #272 opened by dependabot bot
December 25, 2023 05:27 2m 42s dependabot/npm_and_yarn/development-dependencies-79a309abe1
dependabot/npm_and_yarn/development-dependencies-79a309abe1
December 25, 2023 05:27 2m 42s
⬆️🪝 update pre-commit hooks (#271) Check dist/ #746: Commit 390bb01 pushed by burgholzer
December 18, 2023 19:00 27s main
main
December 18, 2023 19:00 27s
⬆️🪝 update pre-commit hooks Check dist/ #745: Pull request #271 opened by pre-commit-ci bot
December 18, 2023 17:34 1m 56s pre-commit-ci-update-config
pre-commit-ci-update-config
December 18, 2023 17:34 1m 56s
Build(deps): Bump the github-actions group with 2 updates (#270) Check dist/ #744: Commit 7cb60a6 pushed by dependabot bot
December 18, 2023 08:11 32s main
main
December 18, 2023 08:11 32s
Build(deps-dev): Bump the development-dependencies group with 5 updat… Check dist/ #743: Commit 60e0e65 pushed by dependabot bot
December 18, 2023 08:10 2m 52s main
main
December 18, 2023 08:10 2m 52s
Build(deps): Bump the github-actions group with 2 updates Check dist/ #742: Pull request #270 opened by dependabot bot
December 18, 2023 05:28 31s dependabot/github_actions/github-actions-934cd881da
dependabot/github_actions/github-actions-934cd881da
December 18, 2023 05:28 31s
Build(deps-dev): Bump the development-dependencies group with 5 updates Check dist/ #741: Pull request #269 opened by dependabot bot
December 18, 2023 05:12 2m 41s dependabot/npm_and_yarn/development-dependencies-7007348020
dependabot/npm_and_yarn/development-dependencies-7007348020
December 18, 2023 05:12 2m 41s
⬆️🪝 update pre-commit hooks (#268) Check dist/ #740: Commit 31a2e46 pushed by burgholzer
December 11, 2023 18:01 2m 26s main
main
December 11, 2023 18:01 2m 26s