Skip to content
PR

Monads: resync trace monad with nondet #2622

Sign in to view logs

Monads: resync trace monad with nondet

Monads: resync trace monad with nondet #2622

Triggered via pull request July 9, 2024 03:03
@corlewiscorlewis
opened #782
corlewis:monad_improvements3
Status Success
Total duration 1m 51s
Artifacts –

pr.yml

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