Skip to content
Editor: Dev & CI

Replace globals with editor environment #6657

Sign in to view logs

Replace globals with editor environment

Replace globals with editor environment #6657

Triggered via pull request January 19, 2026 16:33
@timon-schellingtimon-schelling
synchronize #3656
replace-globals
Status Success
Total duration 24m 53s
Artifacts –

build-dev-and-ci.yml

on: pull_request
build
12m 29s
build
cargo-deny
50s
cargo-deny
Fit to window
Zoom out
Zoom in