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

Remove disused Jenkinsfile etc. #1373

Merged

sengi merged 1 commit into main from sengi/rm-jenkinsfile

Jan 23, 2024

Contributor

sengi commented Jan 23, 2024 •

edited

Loading

Remove disused Jenkinsfile and Procfile.
Update checkout action to v4 and turn off logspew.

sengi requested a review from theseanything

January 23, 2024 16:00

theseanything approved these changes

View reviewed changes


          Remove disused Jenkinsfile etc.

a9af9d4

- Remove disused Jenkinsfile and Procfile.
- Update checkout action to v4 and turn off logspew.

sengi force-pushed the sengi/rm-jenkinsfile branch from 744deb3 to a9af9d4 Compare

January 23, 2024 16:07

Contributor Author

sengi commented Jan 23, 2024

Ah I forgot GitHub still doesn't support YAML anchors.

sengi merged commit 4baa201 into main

11 checks passed

sengi deleted the sengi/rm-jenkinsfile branch

January 23, 2024 16:09

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

Labels

None yet