Deploy GAP manual to Pages

WIIP10 #17

Sign in to view logs

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

Triggered via push October 23, 2023 18:28

fingolfin

master

Status Success

Total duration 4m 17s

Artifacts 1

update-gh-pages.yml

on: push

Artifacts

Produced during runtime

Name	Size
github-pages Expired	18.8 MB