Skip to content
CI on Fedora 41

!164 rework on exists and forall in (liii lang) #193

Sign in to view logs

!164 rework on exists and forall in (liii lang)

!164 rework on exists and forall in (liii lang) #193

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 3s
1m 3s