Visitar URL original
CI: bump runner image to ubuntu-26.04 by andreasabel · Pull Request #8805 · agda/agda · GitHub
Skip to content

CI: bump runner image to ubuntu-26.04 - #8805

Merged
andreasabel merged 6 commits into
masterfrom
bump-ci-ubuntu-26
Oct 4, 2026
Merged

andreasabel merged 6 commits into
masterfrom
bump-ci-ubuntu-26

Conversation

@andreasabel

@andreasabel andreasabel commented Oct 3, 2026 •

Copy link
Copy Markdown
Member
  • CI: bump ubuntu-24 to ubuntu-26
  • Bump stack*.yaml to lastest snapshots

As usual, these innocent goals opened a can of worms (ruining my Saturday evening) which are addressed by further commits:

  • relaxing som upper bounds
  • gold linker no longer shipped with ubuntu-26 by default but needed for older GHCs
  • update of Node made some filters for JS backend error golden values insufficient, needed to be wider

AI disclosure: No AI used in the committed code, only to gather intel on the problems. Also used my vibe-coded stacker tool to bump snapshots.

@andreasabel andreasabel self-assigned this Oct 4, 2026
@andreasabel andreasabel added infra: test suite Issues relating to the test suite (not in changelog) backend: js JavaScript generation backend stackage infra: github workflows Issues related to GitHub workflows and actions (not in changelog) ghc-9.4 ghc-9.2 labels Oct 4, 2026
@andreasabel andreasabel added this to the 2.9.0 milestone Oct 4, 2026
@andreasabel
andreasabel merged commit f6bd8a8 into master Oct 4, 2026
38 checks passed
@andreasabel
andreasabel deleted the bump-ci-ubuntu-26 branch October 4, 2026 11:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backend: js JavaScript generation backend ghc-9.2 ghc-9.4 infra: github workflows Issues related to GitHub workflows and actions (not in changelog) infra: test suite Issues relating to the test suite (not in changelog) stackage

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant