Test PR related to Issue 228 · uds-psl/coq-library-undecidability@7b03998

Triggered via pull request January 21, 2025 13:29

DmxLarchey

synchronize #229

DmxLarchey:issue_228

Status Success

Total duration 6m 4s

Artifacts –

build.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

Postfix notations (i.e. starting with a nonterminal symbol and

Closed notations (i.e. starting and ending with a terminal symbol)

Closed notations (i.e. starting and ending with a terminal symbol)

Closed notations (i.e. starting and ending with a terminal symbol)

Postfix notations (i.e. starting with a nonterminal symbol and

Closed notations (i.e. starting and ending with a terminal symbol)

Closed notations (i.e. starting and ending with a terminal symbol)

Closed notations (i.e. starting and ending with a terminal symbol)

Closed notations (i.e. starting and ending with a terminal symbol)

Closed notations (i.e. starting and ending with a terminal symbol)