Rolling Pre-release

allow quantifiers \forall and \exists in addition to \A and \E #29

Sign in to view logs

Triggered via push June 19, 2025 19:37

ahelwer

main

Status Success

Total duration 11m 18s

Artifacts –

rolling-prerelease.yml

on: push

Matrix: publish