Fix GitHub repository link #31

Sign in to view logs

Re-run triggered November 25, 2023 19:13

LinusBorg

#406

mbrgm:patch-1

Status Success

Total duration 35s

Artifacts –

ci.yml

on: pull_request

build-and-typecheck