Skip to content
Back to pull request #163

Remove almost all axioms #687

Sign in to view logs

Remove almost all axioms

Remove almost all axioms #687

Triggered via pull request March 6, 2024 17:03
@stefan-awsstefan-aws
synchronize #163
remove-independence-axioms
Status Success
Total duration 16s
Artifacts –

format.yml

on: pull_request
check-format
5s
check-format
Fit to window
Zoom out
Zoom in