run the extractor and check its tools through make #1
Owner
No description provided.
landsman
added 1 commit 2026-10-02 19:04:14 +02:00
ci: run the tests on Linux and Windows for every PR and push to main (#1)
Loading…
Reference in a new issue
No description provided.
Delete branch "worktree-makefile"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?