Skip to content
PR

Add select_wp and alternative_wp to wp #2235

Sign in to view logs

Add select_wp and alternative_wp to wp

Add select_wp and alternative_wp to wp #2235

Re-run triggered August 8, 2023 04:35
@corlewiscorlewis
#661
corlewis:nondet_add_wp
Status Success
Total duration 40s
Artifacts –

pr.yml

on: pull_request
Gitlint
38s
Gitlint
Trailing Whitespace
30s
Trailing Whitespace
Portable Shell
34s
Portable Shell
Style
1m 1s
Style
Theory Linter
50s
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