.github/workflows/ci.yml

Support quantified clauses #1423

Sign in to view logs

Triggered via pull request October 1, 2024 08:39

Nadrieril

synchronize #376

Nadrieril:poly-clauses

Status Failure

Total duration 3m 51s

Artifacts –

ci.yml

on: pull_request

check_if_skip_duplicate_job

check-version-number

Annotations

2 errors

Process completed with exit code 1.

Process completed with exit code 1.