CI build

WIP: Implicit conversions and type-constraint evidence (<:<) support #1931

Sign in to view logs

Triggered via pull request January 16, 2025 07:00

MateuszKubuszok

labeled #667

implicit-conversions-support

Status Skipped

Total duration 4s

Artifacts –

ci.yml

on: pull_request

check-formatting

Matrix: build