Deploy documentation to GH Pages

Merge pull request #361 from hacspec/doc #5

Sign in to view logs

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

Triggered via push November 20, 2023 06:53

github-merge-queue[bot]

main

Status Success

Total duration 5m 32s

Artifacts –

gh_pages.yml

on: push