Deploy GAP manual to Pages

Initial release notes for GAP 4.13 series (#5617) #390

Sign in to view logs

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

Triggered via push February 1, 2024 20:33

fingolfin

master

Status Success

Total duration 2m 48s

Artifacts –

update-gh-pages.yml

on: push