Deploy mdBook site to Pages

Merge pull request #61 from anton-k/build-ghc-9.2.4 #52

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push November 5, 2023 07:37

anton-k

main

Status Success

Total duration 2m 1s

Artifacts –

mdbook.yml

on: push