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.

Sign up for GitHub

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

Jump to bottom

Improve logging of holding pen construction & check permissions #152

Merged

schlafly merged 2 commits into main from fixes

Jun 13, 2023

Contributor

schlafly commented Jun 13, 2023

This PR improves the logging during holding pen construction and more compulsively checks that the permissions are correct following construction.

schlafly and others added 2 commits

June 13, 2023 09:13


          Try to make afternoon planning more noisy about failures to set permi…

7a103ea

…ssions on the holding pen.


          Fix bugs.

53aa670

coveralls commented Jun 13, 2023

coverage: 30.412% (-0.2%) from 30.614% when pulling 53aa670 on fixes into ac2dc35 on main.

schlafly merged commit b061cf5 into main

schlafly deleted the fixes branch

June 13, 2023 18:34

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet