Skip to content
Tests

Hide tectonic tree for non paleo or geo disciplines #14399

Sign in to view logs

Hide tectonic tree for non paleo or geo disciplines

Hide tectonic tree for non paleo or geo disciplines #14399

Check if back-end or front-end files changed

Check if back-end or front-end files changed
succeeded Oct 23, 2024 in 7s