Skip to content

Port tests to pypeline#32

Merged
revng-push-ci merged 3 commits intorevng:developfrom
mrjackv:feature/pypeline-port-tests
Mar 5, 2026
Merged

Port tests to pypeline#32
revng-push-ci merged 3 commits intorevng:developfrom
mrjackv:feature/pypeline-port-tests

Conversation

@mrjackv
Copy link
Contributor

@mrjackv mrjackv commented Feb 19, 2026

No description provided.

When checking if the output has been produced, use the absolute path as
opposed to the relative one as the sourcing script might have changed
directories in the meantime.
@mrjackv mrjackv force-pushed the feature/pypeline-port-tests branch from 63e58ad to 4d3a188 Compare March 4, 2026 14:12
In some cases, when running multiple `cl.exe` commands in parallel, the
timeout is triggered. Bump the timeout considerably to mitigate the
issue.
@revng-push-ci revng-push-ci merged commit 9012864 into revng:develop Mar 5, 2026
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants