Skip to content
Back to pull request #1273

fix(1220): Workspace Filtermode not handled in skim engine #757

Sign in to view logs

fix(1220): Workspace Filtermode not handled in skim engine

fix(1220): Workspace Filtermode not handled in skim engine #757

Re-run triggered October 5, 2023 15:50
@ellieellie
#1273
deicon:fix/1220_Workspace_Mode_Missing_Skim
Status Success
Total duration 19m 18s
Artifacts –

nix.yml

on: pull_request
check
26s
check
build-test
19m 4s
build-test
Fit to window
Zoom out
Zoom in