Skip to content
PR

Style guide: _tac instantiations and attributes #2781

Sign in to view logs

Style guide: _tac instantiations and attributes

Style guide: _tac instantiations and attributes #2781

Triggered via pull request December 6, 2024 03:44
@XaphiosisXaphiosis
opened #834
Xaphiosis:tac_style
Status Success
Total duration 53s
Artifacts –

pr.yml

on: pull_request
Gitlint
32s
Gitlint
Trailing Whitespace
32s
Trailing Whitespace
Portable Shell
31s
Portable Shell
Style
44s
Style
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
Unfinished proof: docs/Style.thy#L411
This command indicates an unfinished or aborted proof.
Unfinished proof: docs/Style.thy#L431
This command indicates an unfinished or aborted proof.
Unfinished proof: docs/Style.thy#L443
This command indicates an unfinished or aborted proof.
Unfinished proof: docs/Style.thy#L456
This command indicates an unfinished or aborted proof.
Portable Shell
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Gitlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Trailing Whitespace
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636