Closed tomaz1502 closed 3 months ago
This PR adds a new weekly action that checks whether the last commit on MetaCoq was within the last week and tries to build the project, if it is.
This PR adds a new weekly action that checks whether the last commit on MetaCoq was within the last week and tries to build the project, if it is.