Skip to content
Deploy Jekyll site to Pages

fix: Fix crash when a simple forall statement was placed inside a mat… #483

Sign in to view logs

fix: Fix crash when a simple forall statement was placed inside a mat…

fix: Fix crash when a simple forall statement was placed inside a mat… #483

Triggered via push February 24, 2025 19:23
@RustanLeinoRustanLeino
pushed cd5902f
master
Status Success
Total duration 34s
Artifacts –

jekyll.yml

on: push
build
12s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in