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

Commit

6 years ago

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

References

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

Author

gebner

gebner

Parents

Loading