Skip to content
Back to pull request #528

make lasers optional, off by default #1069

Sign in to view logs

make lasers optional, off by default

make lasers optional, off by default #1069

Triggered via pull request October 3, 2024 20:19
@k4leung4k4leung4
synchronize #528
k4leung4:optional-policy
Status Success
Total duration 23s
Artifacts –

actionlint.yaml

on: pull_request
Action lint
14s
Action lint
Fit to window
Zoom out
Zoom in