github: more authorised token for annotations #2616

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Gitlint	31s
Gitlint	36s
Portable Shell	27s
Portable Shell	27s
Style	1m 4s
Style	1m 4s
Theory Linter	31s
Theory Linter	34s
Trailing Whitespace	28s
Trailing Whitespace	28s
	6m 10s