Skip to content
ci

Pull assumptions out of quantifiers if they don't refer to quantified variable #1090

Sign in to view logs

Pull assumptions out of quantifiers if they don't refer to quantified variable

Pull assumptions out of quantifiers if they don't refer to quantified variable #1090

Triggered via pull request October 12, 2023 21:58
@marcoeilersmarcoeilers
synchronize #760
meilers_pull_put_assumptions
Status Failure
Total duration 18m 56s
Artifacts –

ci.yml

on: pull_request
test-and-assemble
18m 44s
test-and-assemble
release-snapshot
0s
release-snapshot
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
test-and-assemble
Process completed with exit code 1.
test-and-assemble
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/