.github/workflows/ci.yml

Support quantified clauses #1427

Sign in to view logs

Triggered via pull request October 1, 2024 09:05

sonmarcho

synchronize #376

Nadrieril:poly-clauses

Status Failure

Total duration 5m 42s

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.