Skip to content
Snippets Groups Projects
Unverified Commit fb3f4d47 authored by mergify[bot]'s avatar mergify[bot] Committed by GitHub
Browse files

Merge pull request #9722 from mpickering/wip/ci

CI updates (drop 8.4.4, update old-ghcs, update bootstrap plans)
parents 9ddaa56f a90d44ff
No related branches found
No related tags found
No related merge requests found
Pipeline #90519 failed
Showing with 3158 additions and 2095 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment