Skip to content

ci: add GitHub Actions CI config

jiangyi15@mails.ucas.ac.cn requested to merge github/fork/redeboer/github-actions into dev

Created by: redeboer

I doubt how useful cb80c4e8 is, but this was also in the .gitlab-ci.yml. A problem is that installing texlive takes quite some time.

Merge request reports