Skip to content

Revdep check GHA#382

Open
VisruthSK wants to merge 9 commits into
stan-dev:masterfrom
VisruthSK:master
Open

Revdep check GHA#382
VisruthSK wants to merge 9 commits into
stan-dev:masterfrom
VisruthSK:master

Conversation

@VisruthSK

@VisruthSK VisruthSK commented Jul 13, 2026

Copy link
Copy Markdown
Member

Add a revdepcheck GHA to do reverse dependency checks remotely. Using 4 workers resulted in resource exhaustion--3 workers lead to a total runtime of about 11 hours. The main advantage to this approach, even though it is slow, is to not block someone's compute.

The GHA works by gracefully stopping the task before 6 hours (the current GHA time limit), uploading progress, and recursively calling itself until it finishes. We rely on the revdepcheck package's own resume functionality to continue work from the previous runs.

@VisruthSK VisruthSK requested a review from jgabry July 13, 2026 10:06
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.

1 participant