a817d027

By: github-actions <41898282+github-actions[bot]@users.noreply.github.com> 

Switch Project Manager generation
Tree Timing
configuredevShellghc9102ghc9103ghc9122ghc948ghc967ghc984ghcHEADdefaultghc9102_allghc9103_allghc9122_allghc948_allghc967_allghc984_allghcHEAD_allx86_64-linux

Agent Instructions

This page shows the dependency graph between runs in the suite.

For more instructions, fetch https://nix-ci.com/instructions .