Remove old miri-lrs-specreduce notebook #16
Triggered via pull request
September 12, 2023 13:51
haticekaratay
Status
Failure
Total duration
1m 18s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci_html_build.yml
on: pull_request
if_merged
/
generate_html
1m 9s
Annotations
1 error
|
if_merged / generate_html
Action failed with "The process '/usr/bin/git' failed with exit code 128"
|