Check for copyright header

feat: order the output of #print axioms #2327

Sign in to view logs

Triggered via pull request June 10, 2024 08:10

hargoniX

opened #4416

hbv/order-axioms

Status Success

Total duration 27s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files