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

Triggered via push February 4, 2025 14:46
@da-liiida-liii
pushed 5393aeb
main
Status Success
Total duration 1m 13s
Artifacts –

ci-fedora.yml

on: push
build
1m 3s
build
Fit to window
Zoom out
Zoom in