CI

add(FirstOrder/Concat): Language of Theory of Concatenation #2667

Sign in to view logs

Triggered via pull request March 9, 2026 02:11

SnO2WMaN

opened #808

theory-of-concatenation-syntax

Status Failure

Total duration 1m 56s

Artifacts –

ci.yml

on: pull_request

Check mk_all executed

Check references.bib format

Annotations

1 error

Check mk_all executed

Process completed with exit code 1.