CI

🧹 remove unneeded logic to transform thebe options and improve naming #696

Sign in to view logs

Summary
Jobs
- lint
- test
Run details
- Usage
- Workflow file

Triggered via pull request November 29, 2023 17:44

synchronize #291

mnt/reduce-thebe-opt-rework

Status Success

Total duration 1m 29s

Artifacts –

ci.yml

on: pull_request