Back to pull request #38504

Demote `jmol` to optional #15139

Sign in to view logs

Triggered via pull request September 3, 2024 23:53

synchronize #38504

mkoeppe:jmol_optional

Status Success

Total duration 3h 38m 19s

Artifacts –

lint.yml

on: pull_request