Hide tectonic tree for non paleo or geo disciplines #14187

Sign in to view logs

Summary
Jobs
- build
- merge
Run details
- Usage
- Workflow file

Triggered via pull request October 23, 2024 15:05

opened #5342

issue-5334

Status Skipped

Total duration 3s

Artifacts –

docker.yml

on: pull_request

Matrix: build