Pre-register all type axioms in internal to core · anoma/juvix@5ac343b

Triggered via pull request January 30, 2025 10:46

synchronize #3297

fix-translation-to-core

Status Success

Total duration 1h 1m 0s

Artifacts 1

ci.yml

on: pull_request

1 warning

unnecessary parentheses around `break` value

Produced during runtime

Name	Size
juvix-1cfed42	19.5 MB