Skip to content
Auto-update

Merge pull request #3012 from apalache-mc/igor/z3-downgrade-4.12.6 #742

Sign in to view logs

Merge pull request #3012 from apalache-mc/igor/z3-downgrade-4.12.6

Merge pull request #3012 from apalache-mc/igor/z3-downgrade-4.12.6 #742

Triggered via push October 2, 2024 13:32
@konnovkonnov
pushed 7ceed59
main
Status Success
Total duration 15s
Artifacts –

auto-update.yml

on: push
Auto-update
5s
Auto-update
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Auto-update
The following actions use a deprecated Node.js version and will be forced to run on node20: tibdex/auto-update@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/