Skip to content

Conversation

@achlipala
Copy link
Contributor

Apparently the previous Ubuntu version is no longer accessible where the Docker configuration was looking for it, causing build failures.

@github-actions
Copy link
Contributor

The following frameworks were updated, pinging maintainers:
urweb: @achlipala

Copy link
Contributor

@joanhey joanhey left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you choose an LTS version (24.04), you don't need to change it every 9 months.

The v24.10 will end in july 2025 (6 months).

@achlipala-biz
Copy link

Ah, great suggestion, @joanhey! I had originally used a non-LTS version because it included a new package I wanted, but now that package has made its way to LTS.

@NateBrady23 NateBrady23 merged commit bdd37c1 into TechEmpower:master Dec 17, 2024
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants