Remove obsolete docs folder #2

Triggered via push February 16, 2025 17:40

bbatsov

master

Status Success

Total duration 51s

Artifacts 1

publish.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	106 MB	`sha256:32dd682f114e06322e1810c2cc69f326b054b8bdb7b9e6c03b7bd373df4b9834`