Skip to content
Check copyright

This PR adds support for CHC solving via dedicated CHC solvers (including Z3) #1177

Sign in to view logs

This PR adds support for CHC solving via dedicated CHC solvers (including Z3)

This PR adds support for CHC solving via dedicated CHC solvers (including Z3) #1177

Triggered via pull request July 8, 2024 20:57
@thetabotmaintainerthetabotmaintainer[bot]
synchronize #275
chc-out
Status Success
Total duration 29s
Artifacts –

check-copyright.yml

on: pull_request
check-copyright
20s
check-copyright
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check-copyright
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/