Skip to content
ci

tiny fix for explicit @forAll and @forSome quantification #2622

Sign in to view logs

tiny fix for explicit @forAll and @forSome quantification

tiny fix for explicit @forAll and @forSome quantification #2622

Triggered via push December 1, 2023 11:03
@josdjosd
pushed d05026e
v9.0.1
Status Success
Total duration 26s
Artifacts –

workflow.yml

on: push
docker
19s
docker
Fit to window
Zoom out
Zoom in