Skip to content
CI

some improvements to "Invariants of the type system" #5155

Sign in to view logs

some improvements to "Invariants of the type system"

some improvements to "Invariants of the type system" #5155

Triggered via pull request July 17, 2025 03:45
@tshepangtshepang
opened #2507
tshepang-misc
Status Success
Total duration 10s
Artifacts –

ci.yml

on: pull_request
ci
6s
ci
Fit to window
Zoom out
Zoom in