Back to pull request #9463

`Programming exercises`: Add custom themes for the Monaco editor #10158

Sign in to view logs

Triggered via pull request October 13, 2024 15:26

krusche

labeled #9463

chore/programming-exercises/themes

Status Success

Total duration 12s

Artifacts –

testserver.yml

on: pull_request

check-build-status

Matrix: filter-matrix

Matrix: deploy

add-error-label