Skip to content
PR

Remove uses of _tac methods from nondet #2288

Sign in to view logs

Remove uses of _tac methods from nondet

Remove uses of _tac methods from nondet #2288

Triggered via pull request October 5, 2023 11:07
@corlewiscorlewis
synchronize #671
corlewis:nondet_remove_tac
Status Success
Total duration 1m 11s
Artifacts –

pr.yml

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