more Lemma 4 problems, semicolon case stuck in four approaches #88

Sign in to view logs

Triggered via push November 18, 2023 11:43

m4lvin

lemma4-more-like-MB

Status Failure

Total duration 1m 57s

Artifacts –

build.yml

on: push

Annotations

1 error

Process completed with exit code 2.