Skip to content

Storing Custom Data in SubstitutionTree and friends #1301

Storing Custom Data in SubstitutionTree and friends

Storing Custom Data in SubstitutionTree and friends #1301

Triggered via pull request March 28, 2024 08:18
Status Failure
Total duration 15m 48s
Artifacts

CI.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 8.