GitHub Branch CI

Merge branch 'main' into doc-reorg #61

Sign in to view logs

Annotations

5 errors

The job running on runner GitHub Actions 12 has exceeded the maximum execution time of 120 minutes.

The operation was canceled.

No such keg: /usr/local/Cellar/bash

No such keg: /usr/local/Cellar/glpk

No such keg: /usr/local/Cellar/ginac

The logs for this run have expired and are no longer available.