dada-lang / dada

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
https://dada-lang.org
Apache License 2.0
444 stars 28 forks source link

fix lints #196

Closed nikomatsakis closed 2 years ago

nikomatsakis commented 2 years ago

I also had to tweak the salsa branch

netlify[bot] commented 2 years ago

Deploy Preview for dada-lang ready!

Name Link
Latest commit 4e5a78a44aa3a79c8469ef09de1ee5f5bb5566cc
Latest deploy log https://app.netlify.com/sites/dada-lang/deploys/62ce9995b4f2a400082b5184
Deploy Preview https://deploy-preview-196--dada-lang.netlify.app
Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site settings.

nikomatsakis commented 2 years ago

bots r+

nikomatsakis commented 2 years ago

bors r+

bors[bot] commented 2 years ago

Build succeeded: