Julia CI/CD

infer axiom type + improved normalize_decl #349

Sign in to view logs

Triggered via pull request September 27, 2023 22:22

kris-brown

opened #113

infer_axiom_type

Status Success

Total duration 5m 49s

Artifacts –

julia_ci.yml

on: pull_request

CI / Documentation

CompatHelper / CompatHelper

Release / register

Matrix: CI / test