search

Soonad / Formality-Core

Specification of the Formality proof and programming language
MIT License
40 stars 11 forks source link

Update lib to use --github command #10

Closed MaisaMilena closed 4 years ago

MaisaMilena commented 4 years ago

Add exit 1 when using fmc --github. This is used for Github Actions to understand an error and fail the build checking on moonad/Moonad.

VictorTaelin commented 4 years ago

Is this still supposed to be merged?

MaisaMilena commented 4 years ago

Is this still supposed to be merged?

yes, it is. We are currently using my Formality-Core fork on Moonad, but the correct way is to have the CI updated with the Formality-Core otherwise my fork package will have to be updated in every Formality-Core update