build

Implement `--timeout` option for HARFS #50

Triggered via push February 13, 2025 16:15

development

Status Success

Total duration 49s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
build	434 KB