Skip to content
Lint

lib: Requalify: better document annotation #79

Sign in to view logs

lib: Requalify: better document annotation

lib: Requalify: better document annotation #79

Triggered via pull request August 27, 2024 10:08
@XaphiosisXaphiosis
synchronize #813
Status Failure
Total duration 51s
Artifacts –

lint.yml

on: pull_request_target
Theory Linter
40s
Theory Linter
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Interactive diagnostic command: lib/test/Requalify_Test.thy#L290
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L291
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L292
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L298
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L307
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L312
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L313
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L314
This command is usually used interactively only and should only be checked in for demonstration purposes.
Interactive diagnostic command: lib/test/Requalify_Test.thy#L316
This command is usually used interactively only and should only be checked in for demonstration purposes.
Theory Linter
Action thylint failed.