2 important(?) definition fixes. And some documentation bug fixes #78

Re-run triggered January 9, 2025 09:29

fbriol

#40

jpolton:main

Status Failure

Total duration 9m 22s

Artifacts 1

ci.yaml

on: pull_request

Matrix: linux

1 error and 1 warning

Ensure GITHUB_TOKEN has permission "id-token: write".

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
github-pages Expired	3.13 MB