Skip to content

fix: conv => arg n to handle .subsingletonInst #3933

fix: conv => arg n to handle .subsingletonInst

fix: conv => arg n to handle .subsingletonInst #3933

Triggered via pull request August 24, 2024 11:49
Status Success
Total duration 16s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
6s
check-prelude
Fit to window
Zoom out
Zoom in