removed obsolete docs #21

Sign in to view logs

Triggered via push September 21, 2023 09:17

master

Status Success

Total duration 32s

Artifacts 1

doc.yml

on: push

Generation of documentation

Artifacts

Produced during runtime

Name	Size
github-pages Expired	2.67 MB