Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Write tests
Code
Review changes
Check out branch
Download
Patches
Plain diff
Benjamin Herman
requested to merge
development/tests
into
main
Apr 23, 2021
Overview
1
Commits
7
Pipelines
2
Changes
5
Expand
Patch lines that caused linting error
Fix double-parsing of JSON when fetching proofs from URL
Add minimal tests
Configure CI pipeline
Remove ESLint as development dependency, and execute from package runner instead
Merge request reports
Loading