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

Update github workflows #118

Merged

erikvanbrakel merged 3 commits into master from update-workflows

Feb 6, 2024

Contributor

erikvanbrakel commented Feb 6, 2024

Update action versions
Narrow down permissions

Erik van Brakel added 2 commits

February 6, 2024 14:11


          Update action versions

b3304f6


          Narrow down permissions

606c836

coveralls commented Feb 6, 2024 •

edited

Loading

coverage: 39.121%. remained the same
when pulling 23ee7f5 on update-workflows
into c46ec47 on master.


          Set java distribution

23ee7f5

dylanmartins approved these changes

View reviewed changes

erikvanbrakel merged commit 36d0b0a into master

2 checks passed

erikvanbrakel deleted the update-workflows branch

February 6, 2024 13:15

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

Labels

None yet