Deploy GAP manual to Pages

WIP11 #18

Sign in to view logs

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

Triggered via push October 23, 2023 18:58

fingolfin

master

Status Success

Total duration 3m 19s

Artifacts 1

update-gh-pages.yml

on: push

Artifacts

Produced during runtime

Name	Size
github-pages Expired	18.8 MB