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

Drop arm64 Docker builds #82

Merged

gerlero merged 1 commit into main from docker

Aug 11, 2023

Owner

gerlero commented Aug 11, 2023

linux/arm64 builds are not working with GitHub Actions

gerlero force-pushed the docker branch from 4cc6058 to b633753 Compare

August 11, 2023 08:01


          Drop arm64 Docker builds

f9ac760

gerlero force-pushed the docker branch from b633753 to f9ac760 Compare

August 11, 2023 08:05

gerlero marked this pull request as ready for review

August 11, 2023 08:11

gerlero merged commit ec3e5bb into main

gerlero deleted the docker branch

August 11, 2023 08:12

Owner Author

gerlero commented Aug 18, 2023

JuliaLang/julia#49474

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

Labels

None yet