This repository was archived by the owner on Apr 15, 2026. It is now read-only.

Trigger CI

Fix typo in a doc comment. #171

Sign in to view logs

Triggered via push October 9, 2025 05:38

marijnh

main

Status Success

Total duration 10s

Artifacts –

dispatch.yml

on: push

Dispatch to main repo