Generate documentation and deploy to GitHub pages

Merge pull request #90 from COMP1010UNSW/dependabot/pip/mypy-1.13.0 #11

Sign in to view logs

Triggered via push November 2, 2024 00:54

main

Status Success

Total duration 58s

Artifacts –

mkdocs.yml

on: push

Build and deploy documentation site