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

Put edit button on versions overview page #2533

Closed
vmcj opened this issue May 9, 2024 · 0 comments
Closed

Put edit button on versions overview page #2533

vmcj opened this issue May 9, 2024 · 0 comments

Comments

@vmcj
Copy link
Member

vmcj commented May 9, 2024

Add the edit button on the versions page

As reported by @mpsijm, the feature for the version check (/versions) is great but if you use new languages you can see that we don't know the version but not how to change it. It would require knowledge of the code to know that this should be done on the /lanugages interface.

The goal you want to achieve

Add the button to edit the version check somewhere to directly fix this.

Other info?

A follow-up can be to also have a specific job to get the version, I think that's overkill as this doesnt happen often and would be a branch we almost never hit as it requires usage of this feature (not well spread) and using an barely used but known language.

vmcj added a commit to vmcj/domjudge that referenced this issue May 14, 2024
vmcj added a commit to vmcj/domjudge that referenced this issue May 16, 2024
vmcj added a commit to vmcj/domjudge that referenced this issue May 19, 2024
vmcj added a commit to vmcj/domjudge that referenced this issue May 19, 2024
vmcj added a commit to vmcj/domjudge that referenced this issue May 19, 2024
Closes: DOMjudge#2533

Although this might be relevant for jury members they don't have access
and this is left for admins.
vmcj added a commit to vmcj/domjudge that referenced this issue May 24, 2024
Closes: DOMjudge#2533

Although this might be relevant for jury members they don't have access
and this is left for admins.
github-merge-queue bot pushed a commit that referenced this issue May 27, 2024
Closes: #2533

Although this might be relevant for jury members they don't have access
and this is left for admins.
@vmcj vmcj closed this as completed May 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant