Build pull request

Adopt newly merged changes in PR #61 in the utilities repo #68

Sign in to view logs

Triggered via push January 5, 2024 23:20

copy-pr-bot[bot]

pull-request/1448

Status Failure

Total duration 41m 52s

Artifacts –

pr.yaml

on: push

checks / check-style

checks / other-checks

CI Pipeline / Build

CI Pipeline / Check

CI Pipeline / Test

CI Pipeline / Documentation

pr-builder / run

Annotations

1 error

Build pull request

GitHub Actions has encountered an internal error when running your job.