Skip to content
pages

Generalized domains #3434

Sign in to view logs

Generalized domains

Generalized domains #3434

Triggered via pull request December 26, 2024 11:07
@tpadioleautpadioleau
synchronize #698
draft-sliced-domains
Status Cancelled
Total duration 58s
Artifacts –

pages.yml

on: pull_request
id_repo
0s
id_repo
docker-build
0s
docker-build
check-doc
0s
check-doc
pages
0s
pages
Fit to window
Zoom out
Zoom in

Annotations

1 error
id_repo
The run was canceled by @tpadioleau.