Add option to disable set axiomatization #1731

Sign in to view logs

Re-run triggered December 8, 2023 12:46

jcp19

#708

master

Status Success

Total duration 19s

Artifacts –

license-check.yml

on: pull_request

check-license-headers