Pin Bogo
Open
tests
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Pin bogo tests to avoid failures when updating.
#96 disables bogo for now on CI.
- [ ] pin bogo commit on ci
- [ ] enable bogo on ci again
Contributor guide
Assessment
This issue has not been assessed yet.