Skip to content
Update the DeTT&CT Editor on GitHub Pages

New build of the Editor #128

Sign in to view logs

New build of the Editor

New build of the Editor #128

Triggered via push October 29, 2025 09:15
@marcusbakkermarcusbakker
pushed f71bd35
master
Status Success
Total duration 8s
Artifacts –

update_gh_pages.yml

on: push
copy
5s
copy
Fit to window
Zoom out
Zoom in