.github · verus · Tangled

forked from verus-lang/verus

verus .github

2 folders · 2 files

Daniel Schoepe · Run smoke CI tests on Linux (#3375) · 2w ago

encourage minimal repros in issue template (#2924)

Run smoke CI tests on Linux (#3375)

[cargo-verus] feat: toolchains (#2550)

pull_request_template.md

use sub tag instead of small tag in pull_request_template (#2838)