Progress on completing the trace monad rule set #2268
corlewispr.yml
on: pull_request
Gitlint
43s
Trailing Whitespace
33s
Portable Shell
30s
Style
49s
Theory Linter
40s
Annotations
2 errors
|
Theory Linter
GitHubApiUnauthorizedError: Unable to create a check, please make sure that the provided 'repo-token' has write permissions to 'seL4/l4v' - cause: HttpError: Resource not accessible by integration
|
|
Gitlint
Action gitlint failed.
|