Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • 75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
  • test-pipe
  • extended-scripts
  • structured-badges
  • guix-pipeline
  • cabal-pipeline
7 results

walint

  • Clone with SSH
  • Clone with HTTPS
  • stuebinm's avatar
    stuebinm authored
    This makes map loading (and parsing) part of the linter, and also makes
    it return "general lints" and nothing else in case that failed.
    
    Possibly a sum type would be nicer here, but I guess it's not really
    important since everything ends up as json anyways?
    bfe45dc4
    History
    Name Last commit Last update