Skip to content

Add check-PATO#13

Merged
amatria merged 4 commits intomasterfrom
feature/AddCheckPATO
Jan 18, 2026
Merged

Add check-PATO#13
amatria merged 4 commits intomasterfrom
feature/AddCheckPATO

Conversation

@inaki-amatria
Copy link
Collaborator

This PR adds the check-PATO target, which automatically builds the PATO binary and runs all tests using ctest with automatic parallelism. Benefits:

  • Testing is now much faster due to parallel execution.
  • Enables convenient developer workflows, e.g.:
$ git rebase -i origin/master --exec "make -C build check-PATO"

@inaki-amatria inaki-amatria self-assigned this Jan 18, 2026
@amatria amatria force-pushed the feature/AddCheckPATO branch from c7bee4f to 4ad1951 Compare January 18, 2026 12:43
@amatria amatria merged commit 4ad1951 into master Jan 18, 2026
1 check passed
@inaki-amatria inaki-amatria deleted the feature/AddCheckPATO branch January 18, 2026 12:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants