Skip to content
Back to pull request #1874

Replace some custom checks by check_parent #861

Sign in to view logs

Replace some custom checks by check_parent

Replace some custom checks by check_parent #861

Triggered via pull request October 18, 2024 15:04
@fingolfinfingolfin
opened #1874
mh/parent-checks
Status Success
Total duration 42m 30s
Artifacts –

hecke.yml

on: pull_request
generatematrix
47s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in