-
-
Notifications
You must be signed in to change notification settings - Fork 724
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Builds broken in master branch (1.8.11)?! #616
Comments
Hi @henrygab , |
@facchinm unfortunately there is no established system in place for doing that. The compilation results are all recorded in a JSON file, so it could certainly be done. I can make the manual checking less painful though. I am currently preparing a PR to disable the verbose output from the |
@per1234 @facchinm any joy? It looks like now @bxparks is holding the PR on the AceTime side until 1.8.12 is released here? bxparks/AceTime#58 |
Any progress? |
I was going to create a PR to remove AceTime from the GH Workflow, but it was already done a few weeks ago: |
Is something misconfigured for the CI builds?
It appears that all PRs since December 24 have failed to build (via CI Actions).
On December 24th, three PRs (#3, #586, #588) were merged, and then the version was updated to 1.8.11. Each of those merges has failed the CI build (but logs are gone now).
Please fix so PRs can have some sanity checks applied, and be considered for merging again!
Potentially affected PRs include:
The text was updated successfully, but these errors were encountered: