only output plain comments in generated Coq code · ott-lang/ott@ed36d0e

Triggered via pull request December 30, 2024 09:19

palmskog

opened #121

fix-coq-comments

Status Success

Total duration 4m 58s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

11 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

symbol l is unreachable from any of the start symbol(s).

symbol l is unreachable from any of the start symbol(s).

symbol l is unreachable from any of the start symbol(s).

symbol l is unreachable from any of the start symbol(s).