Back to pull request #3387

Update CONTRIBUTORS.md; fix broken URL #4747

Sign in to view logs

Triggered via pull request August 20, 2024 07:15

gagb

opened #3387

gagb-patch-2

Status Success

Total duration 1m 9s

Artifacts –

type-check.yml

on: pull_request

Matrix: type-check