Skip to content
VeriFast (negative)

Create python-app.yml #1070

Sign in to view logs

Create python-app.yml

Create python-app.yml #1070

Triggered via pull request February 19, 2026 14:42
@MAX25MMAX25M
synchronize #550
MAX25M:main
Status Success
Total duration 41s
Artifacts –

verifast-negative.yml

on: pull_request
Verify std library
35s
Verify std library
Fit to window
Zoom out
Zoom in