Skip to content
Run pytest, ruff, and pyright

translate dafny chain of thought prompt to verus #67

Sign in to view logs

translate dafny chain of thought prompt to verus

translate dafny chain of thought prompt to verus #67

Triggered via push September 25, 2024 09:38
@WeetHetWeetHet
pushed d87eead
chain-of-thought
Status Success
Total duration 35s
Artifacts –

test-pytest-ruff.yml

on: push
run-tests
25s
run-tests
Fit to window
Zoom out
Zoom in