Improve either (#32) · impermeable/coq-waterproof@aaa23be

Triggered via push October 31, 2023 15:42

2.1.0+8.17

Status Success

Total duration 3m 49s

Artifacts –

build.yml

on: push

10 warnings

build: tests/util/MessagesToUser.v#L25

This warning _should_ be printed.

build: tests/automation/Chains.v#L45

Interpreting this declaration as if a global declaration prefixed by

build: tests/automation/Chains.v#L46

Interpreting this declaration as if a global declaration prefixed by

build: tests/tactics/Contradiction.v#L64

Interpreting this declaration as if a global declaration prefixed by

build: tests/tactics/Conclusion.v#L143

Interpreting this declaration as if a global declaration prefixed by

build: tests/tactics/Conclusion.v#L144

Interpreting this declaration as if a global declaration prefixed by

build: tests/tactics/Conclusion.v#L166

Interpreting this declaration as if a global declaration prefixed by

build: tests/tactics/ItSuffices.v#L77

Interpreting this declaration as if a global declaration prefixed by

build: tests/tactics/ItSuffices.v#L78

Interpreting this declaration as if a global declaration prefixed by

build: tests/tactics/ItSuffices.v#L97

Interpreting this declaration as if a global declaration prefixed by