Skip to content
PR

Enlarge the prefix_refinement rule set #2467

Sign in to view logs

Enlarge the prefix_refinement rule set

Enlarge the prefix_refinement rule set #2467

Triggered via pull request March 19, 2024 09:25
@corlewiscorlewis
synchronize #738
corlewis:trace_more_refinement
Status Success
Total duration 1m 15s
Artifacts –

pr.yml

on: pull_request
Gitlint
37s
Gitlint
Trailing Whitespace
30s
Trailing Whitespace
Portable Shell
1m 6s
Portable Shell
Style
1m 2s
Style
Theory Linter
40s
Theory Linter
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
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
Theory Linter
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: yuzutech/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.