.github/workflows/generate_docs.yml

`is_derive`/`is_diff` for matrices #1370

Sign in to view logs

Triggered via pull request March 9, 2026 05:52

opened #1891

affeldt-aist:robot_rocq_20260122_question

Status Cancelled

Total duration 6h 9m 48s

Artifacts –

generate_docs.yml

on: pull_request

generate-artifacts

Annotations

1 error

generate-artifacts

The job has exceeded the maximum execution time of 6h0m0s