Skip to content
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

Check formatting in separate github action and update java maven cache action #4324

Open
JervenBolleman opened this issue Dec 16, 2022 · 0 comments · May be fixed by #4325
Open

Check formatting in separate github action and update java maven cache action #4324

JervenBolleman opened this issue Dec 16, 2022 · 0 comments · May be fixed by #4325
Assignees
Labels
📶 enhancement issue is a new feature or improvement 🔧 internal task a project workflow / setup task not directly impacting end users

Comments

@JervenBolleman
Copy link
Contributor

Problem description

Would make the github actions a bit faster

Preferred solution

No response

Are you interested in contributing a solution yourself?

Yes

Alternatives you've considered

No response

Anything else?

No response

@JervenBolleman JervenBolleman added the 📶 enhancement issue is a new feature or improvement label Dec 16, 2022
@JervenBolleman JervenBolleman self-assigned this Dec 16, 2022
JervenBolleman added a commit that referenced this issue Dec 16, 2022
JervenBolleman added a commit that referenced this issue Dec 16, 2022
@JervenBolleman JervenBolleman linked a pull request Dec 16, 2022 that will close this issue
2 tasks
JervenBolleman added a commit that referenced this issue Dec 16, 2022
JervenBolleman added a commit that referenced this issue Dec 16, 2022
@abrokenjester abrokenjester added the 🔧 internal task a project workflow / setup task not directly impacting end users label Dec 17, 2022
@github-project-automation github-project-automation bot moved this to 📋 Backlog in RDF4J Planning Jan 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📶 enhancement issue is a new feature or improvement 🔧 internal task a project workflow / setup task not directly impacting end users
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants