fix GAPDoc syntax for the manual in doc/dev (#5825)
#5287
fingolfinrelease.yml
on: push
Validate release scripts
28s
Send Slack notification on status change
2s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
JSON metadata
Expired
|
551 KB |
|
|
gap
Expired
|
525 MB |
|