Skip to content
CI

adjust to Z_scope by default (downstream of https://github.com/SkylabsAI/auto/pull/21) #12

Sign in to view logs

adjust to Z_scope by default (downstream of https://github.com/SkylabsAI/auto/pull/21)

adjust to Z_scope by default (downstream of https://github.com/SkylabsAI/auto/pull/21) #12

Triggered via pull request November 6, 2025 20:21
@simon-skylabssimon-skylabs
opened #12
simon/prelude-Z-scope
Status Success
Total duration 49m 7s
Artifacts –

sl-fm-ci.yml

on: pull_request
CI  /  ...  /  gen-job
31s
CI / Run-elsewhere / gen-job
CI  /  ...  /  gen-job
CI / Run-workspace / gen-job
CI  /  Skip CI?
CI / Skip CI?
CI  /  ...  /  opam-build
15m 9s
CI / Run-elsewhere / opam-build
CI  /  ...  /  full-build
48m 28s
CI / Run-elsewhere / full-build
CI  /  ...  /  full-build
CI / Run-workspace / full-build
CI  /  ...  /  opam-build
CI / Run-workspace / opam-build
CI  /  ...  /  workspace-success
2s
CI / Run-elsewhere / workspace-success
CI  /  ...  /  workspace-success
CI / Run-workspace / workspace-success
Fit to window
Zoom out
Zoom in