Merge pull request #2142 from jdchristensen/misc-cleanup #3023
Annotations
2 errors and 2 warnings
|
|
|
Run coq-community/docker-coq-action@v1
The operation was canceled.
|
|
Run coq-community/docker-coq-action@v1:
theories/Basics/Settings.v#L10
Legacy loading plugin method has been removed from Coq, and the `:` syntax is deprecated, and its first argument ignored; please remove "ltac_plugin:" from your Declare ML
|
|
Run coq-community/docker-coq-action@v1:
theories/Basics/Settings.v#L12
Legacy loading plugin method has been removed from Coq, and the `:` syntax is deprecated, and its first argument ignored; please remove "number_string_notation_plugin:" from your Declare ML
|
Loading