Skip to content

CI: Fix the docker workflow - #8427

Merged
seisman merged 1 commit into
masterfrom
docker
Apr 7, 2024
Merged

CI: Fix the docker workflow#8427
seisman merged 1 commit into
masterfrom
docker

Conversation

@seisman

@seisman seisman commented Apr 7, 2024

Copy link
Copy Markdown
Member

The "Docker" workflow fails to work due to some curl issues. This PR fixes the issue and now the "Docker" workflow work again and GMT source codes are successfully built on Ubuntu/Debian/Fedora.

@seisman
seisman requested a review from joa-quim April 7, 2024 05:57
@seisman seisman added this to the 6.6.0 milestone Apr 7, 2024
@seisman seisman added the maintenance Boring but important stuff for the core devs label Apr 7, 2024
@seisman
seisman merged commit 08cde74 into master Apr 7, 2024
@seisman
seisman deleted the docker branch April 7, 2024 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants