mathlib3

fix(ci): set GITHUB_TOKEN environment variable for gothub

#1920

Merged