Deploy docs to GitHub Pages

Deps: Bump mypy from 1.4.1 to 1.5.1 (#849) #565

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via push August 21, 2023 07:14

y0urself

main

Status Success

Total duration 1m 13s

Artifacts –

github-pages.yml

on: push