Zulip Chat Archive
Stream: new members
Topic: Can you build my project?
Martin Dvořák (Nov 25 2022 at 10:46):
Sorry for n00bish question, but can you build my project on your computer?
https://github.com/madvorak/grammars
Can you please check?
Eric Wieser (Nov 25 2022 at 22:26):
Why don't you set up GitHub actions to test that for you?
Eric Wieser (Nov 25 2022 at 22:26):
I think there are instructions on the lean community website on how to do that
Last updated: Dec 20 2023 at 11:08 UTC