[Agda-dev] Run the testsuite before pushing to master

Nils Anders Danielsson nad at cse.gu.se
Thu Apr 11 16:28:07 CEST 2019

Previous message (by thread): [Agda-dev] Run the testsuite before pushing to master
Next message (by thread): [Agda-dev] [ANNOUNCE] Agda 2.6.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 11/04/2019 14.56, Andrea Vezzosi wrote:
> And yes, adding "\usepackage{fontspec}" makes compilation go through!

I pushed this change to the repository.

-- 
/NAD

Previous message (by thread): [Agda-dev] Run the testsuite before pushing to master
Next message (by thread): [Agda-dev] [ANNOUNCE] Agda 2.6.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda-dev mailing list