Build and deploy mdBook site

670 greedy -> approximation #110

Sign in to view logs

Triggered via push September 12, 2024 00:36

SichangHe

main

Status Success

Total duration 56s

Artifacts –

deploy.yml

on: push

Build with mdBook

Deploy the site to GitHub Pages