leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
41 stars 15 forks source link

Split CI into predata and mathport #171

Closed gebner closed 2 years ago

gebner commented 2 years ago

This is particularly helpful in times like these, when mathport fails and doesn't upload the predata for easy local debugging.

The first commit only adds a workflow that creates predata-only releases (once every day). Once that works, I'll change the other workflow to use the prebuilt predata.

gebner commented 2 years ago

Merged manually.