Deploy docs

adjust clippy lints, rename `empty_enum` to `empty_enums` #197

Sign in to view logs

Triggered via push March 3, 2026 23:45

github-merge-queue[bot]

main

Status Success

Total duration 6m 0s

Artifacts –

deploy_docs.yml

on: push