Skip to content

Merge pull request #2018 from lf-lang/kieler-incremental #1515

Merge pull request #2018 from lf-lang/kieler-incremental

Merge pull request #2018 from lf-lang/kieler-incremental #1515

Triggered via push September 22, 2023 20:49
Status Success
Total duration 36s
Artifacts

all-misc.yml

on: push
check-diff  /  check
25s
check-diff / check
building  /  ...  /  build-epoch
building / epoch / build-epoch
Matrix: building / build-toolchain
Waiting for pending jobs
Matrix: cli / test-cli
Waiting for pending jobs
Matrix: lsp / test-lsp
Waiting for pending jobs
Fit to window
Zoom out
Zoom in