Sign in
Join now
verus
stepbrobd.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from verus-lang/verus
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
.github/
pull_request_template.md
August 2026
Travis Hance
eb66c536
Copied
Failed
Copy SHA
use sub tag instead of small tag in pull_request_template (#2838)
Copy SHA
Browse repository
committed
2mo ago
Bryan Parno
b0286ddf
Copied
Failed
Copy SHA
Add a policy on AI-based contributions (#2677)
Copy SHA
Browse repository
committed
2mo ago
December 2024
Bryan Parno
9a689706
Copied
Failed
Copy SHA
Add a PR template that affirms that contributions are compatible with Verus's MIT license.
Copy SHA
Browse repository
committed
1y ago
