Skip to content
Run pytest, ruff, and pyright

translate dafny chain of thought prompt to verus #63

Sign in to view logs

translate dafny chain of thought prompt to verus

translate dafny chain of thought prompt to verus #63

Triggered via push September 25, 2024 05:39
@WeetHetWeetHet
pushed 7ce2d32
chain-of-thought
Status Success
Total duration 40s
Artifacts –

test-pytest-ruff.yml

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