8000 feat(els): deep completion can be disabled · erg-lang/erg@74e3f2e · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
CI

feat(els): deep completion can be disabled #697

Sign in to view logs

feat(els): deep completion can be disabled

feat(els): deep completion can be disabled #697

Triggered via push February 9, 2025 03:21
@mtshibamtshiba
pushed 74e3f2e
main
Status Success
Total duration 6m 46s
Artifacts –

main.yml

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