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

Add GitHub workflow#38

Merged

grumpyf0x48 merged 1 commit into

mainfrom

add-github-workflow

Mar 23, 2026

Commits on Mar 23, 2026

Add GitHub workflow
Pierre-Yves Fourmond
committed