Skip to content
Run pytest, ruff, and pyright

translate dafny chain of thought prompt to verus #69

Sign in to view logs

translate dafny chain of thought prompt to verus

translate dafny chain of thought prompt to verus #69

Triggered via push September 25, 2024 16:06
@WeetHetWeetHet
pushed f3e3593
chain-of-thought
Status Success
Total duration 33s
Artifacts –

test-pytest-ruff.yml

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