CI

DX: remove Technical Reports #722

Sign in to view logs

Triggered via pull request October 1, 2024 16:51

redeboer

synchronize #296

extract-reports

Status Success

Total duration 1m 7s

Artifacts 1

ci.yml

on: pull_request

doc / ... / Check external links

doc / ... / Execute and build documentation

style / Determine skipped pre-commit hooks

doc / Upload to GitHub Pages

style / Run local pre-commit hooks

style / Run taplo through pre-commit

style / Push changes

Artifacts

Produced during runtime

Name	Size
github-pages Expired	3.32 MB