Skip to content
Rust CI

Merge the unifier, typechecker and normalizer crates #813

Sign in to view logs

Merge the unifier, typechecker and normalizer crates

Merge the unifier, typechecker and normalizer crates #813

Triggered via pull request March 25, 2024 19:17
@BinderDavidBinderDavid
synchronize #171
add-elaborator-crate
Status Success
Total duration 46s
Artifacts –

ci.yml

on: pull_request
Check
28s
Check
Unit tests
32s
Unit tests
Integration tests
35s
Integration tests
Rustfmt
17s
Rustfmt
Clippy
33s
Clippy
Fit to window
Zoom out
Zoom in