Skip to content

Conversation

@catap
Copy link

@catap catap commented Aug 23, 2023

The goal is adjust ports GitHub CI to run tests to increase quality of ports.


if [[ "${option_test}" -eq 1 ]]; then
if "${option_prefix}/bin/port" "-d" test "$@"; then
echo "Testing '$port' ... [OK]" >> "$log_subports_progress"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

With the current base release, this will fail for any port that doesn't set test.run yes.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@jmroot may I assume that the next release which will happen relatively soon changes that behaviour?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants