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 docker test #983

Merged

quantum5 merged 1 commit into DMOJ:master from int-y1:upd-docker-test

Jan 7, 2022

Contributor

int-y1 commented Jan 7, 2022

Remove JAVA9 and JAVA10, because they're not added to failed_executors.
LEAN4 should only fail for aarch64.


          Update docker test

5f4a775

Collaborator

dmoj-build commented Jan 7, 2022

Can one of the admins verify this patch?

Member

quantum5 commented Jan 7, 2022

ok to test

quantum5 approved these changes

View reviewed changes

quantum5 merged commit 258f8d9 into DMOJ:master

int-y1 deleted the upd-docker-test branch

January 7, 2022 23:23

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

Labels

None yet