Back to pull request #1611

Further fixes to $DESTDIR handling #380

Sign in to view logs

Triggered via pull request November 13, 2023 20:11

mezzarobba

opened #1611

mezzarobba:destdir

Status Success

Total duration 13m 45s

Artifacts 1

release.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
flint Expired	27 MB