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

Disable several github workflows to save the environment. #548

Merged

hannahbast merged 1 commit into ad-freiburg:master from joka921:NotAllWorkflows

Jan 24, 2022

Member

joka921 commented Jan 21, 2022

They are just commented out and can be reinstated
temporarily when needed.

This can be useful e.g. to check if the Ubuntu 18.04 and 20.04 Dockerfiles still work after a change.
of external dependencies.


          Disable several github workflows to save the environment.

4d8687e

They are just commented out and can be reinstated
temporarily when needed.

hannahbast approved these changes

View reviewed changes

Member

hannahbast left a comment

Thanks in the name of the planet :-)

hannahbast merged commit 112ba57 into ad-freiburg:master

joka921 deleted the NotAllWorkflows branch

January 25, 2022 15:15

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