-
Notifications
You must be signed in to change notification settings - Fork 699
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
{devel,lang}[GCC/13.2.0] ocamlbuild v0.14.3, OCaml v5.1.1 #20552
{devel,lang}[GCC/13.2.0] ocamlbuild v0.14.3, OCaml v5.1.1 #20552
Conversation
@boegelbot please test @ generoso |
@PetrKralCZ: Request for testing this PR well received on login1 PR test command '
Test results coming soon (I hope)... - notification for comment with ID 2117491229 processed Message to humans: this is just bookkeeping information for me, |
Test report by @boegelbot |
@boegelbot please test @ jsc-zen3 |
@PetrKralCZ: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de PR test command '
Test results coming soon (I hope)... - notification for comment with ID 2117538348 processed Message to humans: this is just bookkeeping information for me, |
Test report by @boegelbot |
'files': ['bin/%(name)s', 'lib/ocamlbuild/%(name)slib.a'], | ||
'dirs': ['man'], | ||
} | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
can we add some sanity_check_commands
? (e.g. bin/%(name)s --help
?)
@boegelbot please test @ generoso |
@PetrKralCZ: Request for testing this PR well received on login1 PR test command '
Test results coming soon (I hope)... - notification for comment with ID 2125493729 processed Message to humans: this is just bookkeeping information for me, |
Test report by @boegelbot |
@boegelbot please test @ jsc-zen3 |
@PetrKralCZ: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de PR test command '
Test results coming soon (I hope)... - notification for comment with ID 2125551040 processed Message to humans: this is just bookkeeping information for me, |
Test report by @boegelbot |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm
Going in, thanks @PetrKralCZ! |
(created using
eb --new-pr
)