Skip to content
PR

Add select_wp and alternative_wp to wp #2238

Sign in to view logs

Add select_wp and alternative_wp to wp

Add select_wp and alternative_wp to wp #2238

Triggered via pull request August 9, 2023 02:12
@corlewiscorlewis
synchronize #661
corlewis:nondet_add_wp
Status Success
Total duration 1m 11s
Artifacts –

pr.yml

on: pull_request
Gitlint
46s
Gitlint
Trailing Whitespace
30s
Trailing Whitespace
Portable Shell
29s
Portable Shell
Style
1m 2s
Style
Theory Linter
42s
Theory Linter
Fit to window
Zoom out
Zoom in

Annotations

1 error
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