Skip to content

Update to GHC 9.6.4 #33

Update to GHC 9.6.4

Update to GHC 9.6.4 #33

Triggered via pull request March 25, 2024 19:44
Status Success
Total duration 3m 52s
Artifacts

nix-agda.yml

on: pull_request
Matrix: Nix Agda
Fit to window
Zoom out
Zoom in