[CI] Display warnings and errors in workflow summary. #361
Description
As the title says, we should make GitHub aware of the warning and errors emitted by EC, similar to what happens for Coq (e.g., in the reglang CI.
{{ message }}
As the title says, we should make GitHub aware of the warning and errors emitted by EC, similar to what happens for Coq (e.g., in the reglang CI.