Skip to content

Minor Nondet Monad improvements #2247

Minor Nondet Monad improvements

Minor Nondet Monad improvements #2247

Triggered via pull request August 15, 2023 00:22
Status Success
Total duration 1m 12s
Artifacts

pr.yml

on: pull_request
Gitlint
45s
Gitlint
Trailing Whitespace
32s
Trailing Whitespace
Portable Shell
30s
Portable Shell
Style
58s
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