Check formatting

Remove almost all axioms #682

Sign in to view logs

Summary
Jobs
- check-format
Run details
- Usage
- Workflow file

Triggered via pull request March 6, 2024 14:51

stefan-aws

synchronize #163

remove-independence-axioms

Status Failure

Total duration 10m 28s

Artifacts –

format.yml

on: pull_request

Annotations

1 error

check-format

Process completed with exit code 5.