mathlib3
fix(ci): set GITHUB_TOKEN environment variable for gothub
#1920

Merged

fix(ci): set GITHUB_TOKEN environment variable for gothub #1920

gebner merged 1 commit into leanprover-community:master from gebner:actions-token-env

fix(ci): set GITHUB_TOKEN environment variable for gothub

5a386679

gebner merged b3683120 into master 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone