docker-ci-for-pr

Better diagnose syntax problems in inductive definitions with double implications #211

Sign in to view logs

Re-run triggered March 18, 2024 01:11

mn200

#1213

mrichards30:feature/inductive-definition-errors

Status Success

Total duration 1h 0m 0s

Artifacts –

docker-ci-for-pr.yml

on: pull_request