Skip to content

Introduce FreeBSD CI #142

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

arrowd
Copy link
Contributor

@arrowd arrowd commented Jul 18, 2025

Tests are not run at the moment because they cause the job to hang (or are they take so much time?)

This will be investigated later.

@LecrisUT
Copy link
Contributor

LecrisUT commented Jul 31, 2025

Could you rebase after #125 is merged? Ah, nvm, the relevant changes were already in

@arrowd arrowd force-pushed the freebsd-ci branch 4 times, most recently from 89a29b5 to ddf41bf Compare August 1, 2025 06:22
@arrowd
Copy link
Contributor Author

arrowd commented Aug 15, 2025

Can we get this in?

Copy link
Contributor

@LecrisUT LecrisUT left a comment

Choose a reason for hiding this comment

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

LGTM, but I am not a maintainer. @langou is the one who usually merged my PRs, but I do not want to over-burden any single maintainer. If it's possible to know something about the communication channels and/or schedules of people, it will help us avoid pings.


@arrowd could you resolve the open comments (only authors and collaborators can do that). It would also be nice if the steps can be separated either as different GH actions steps or with echo "::group::" 1, and if the ctests could be run even if they are failing. These can be addressed in a separate PR though.

Footnotes

  1. https://docs.github.com/en/actions/reference/workflows-and-actions/workflow-commands?apiVersion=2022-11-28&tool=bash#grouping-log-lines

@arrowd arrowd force-pushed the freebsd-ci branch 2 times, most recently from c55d4b0 to f41a0c6 Compare August 15, 2025 07:07
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