Closed pablocostass closed 4 years ago
I don't see the github actions being run :thinking:
Maybe it's some type of security because you're not a contributor and it comes from a fork? Strange. I'll push these changes on a local branch.
Ah I was wondering so much I forgot to say thank you :sweat_smile:
:green_heart:
yeah it's running now over there. Closing here to continue over there where the actions work :)
Adds Github Actions that will be triggered either on a pull request or a push to test on Ubuntu, Windows and also MacOS. Besides caching the
deps
and_build
directories, we also cache Dialyzer's PLT, reducing CI times in that step.Since one can't check them as this repository didn't have them prior to this PR, one should check my fork to see their output.