Skip to content
Tutorials

add error message when trying to use pverifier syntax for other backends #1151

Sign in to view logs

add error message when trying to use pverifier syntax for other backends

add error message when trying to use pverifier syntax for other backends #1151

Triggered via push November 28, 2024 19:05
@FedericoAurelianoFedericoAureliano
pushed c26fc9b
experimental/pverifier
Status Success
Total duration 9m 33s
Artifacts –

tutorials.yml

on: push
Build-MacOS
9m 24s
Build-MacOS
Fit to window
Zoom out
Zoom in