Update nix to Agda 2.6.4 #923
WhatisRT
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 error
|
build
The hosted runner: GitHub Actions 8 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|