Skip to content
Tutorials

add iff symbol #1168

Sign in to view logs

add iff symbol

add iff symbol #1168

Triggered via push December 5, 2024 20:16
@FedericoAurelianoFedericoAureliano
pushed 07f2a06
experimental/pverifier
Status Success
Total duration 7m 49s
Artifacts –

tutorials.yml

on: push
Build-MacOS
7m 41s
Build-MacOS
Fit to window
Zoom out
Zoom in