8000 feat: add `ErgConfig::respect_pyi` · erg-lang/erg@948f4a7 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
CI

feat: add ErgConfig::respect_pyi #699

Sign in to view logs

feat: add ErgConfig::respect_pyi

feat: add ErgConfig::respect_pyi #699

Triggered via push February 18, 2025 12:59
@mtshibamtshiba
pushed 948f4a7
main
Status Success
Total duration 7m 35s
Artifacts –

main.yml

on: push
lint
44s
lint
publish-nightly
0s
publish-nightly
Matrix: build-check
Matrix: test
Fit to window
Zoom out
Zoom in
0