Deploy GAP manual to Pages

WIP13 #20

Sign in to view logs

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

Triggered via push October 24, 2023 05:41

fingolfin

master

Status Success

Total duration 4m 9s

Artifacts 1

update-gh-pages.yml

on: push

Artifacts

Produced during runtime

Name	Size
github-pages Expired	18.8 MB