Raise an error when postconditions of pure functions contain old() ex… #827
zgrannanAnnotations
1 error and 1 warning
|
test
The hosted runner: GitHub Actions 7 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.
|
|
test
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 54 MB
|