Skip to content
make check

Rename artifact for paper to use 'file-based' instead of 'filename' (… #1137

Sign in to view logs

Rename artifact for paper to use 'file-based' instead of 'filename' (…

Rename artifact for paper to use 'file-based' instead of 'filename' (… #1137

Triggered via push December 7, 2023 01:18
@ThomschThomsch
pushed b15995d
main
Status Success
Total duration 2m 21s
Artifacts –

makefile.yml

on: push
build
2m 11s
build
Fit to window
Zoom out
Zoom in