Skip to content

Fix SCIP uploads in CI#1083

Merged
varungandhi-src merged 1 commit into
mainfrom
vg/scip
May 15, 2024
Merged

Fix SCIP uploads in CI#1083
varungandhi-src merged 1 commit into
mainfrom
vg/scip

Conversation

@varungandhi-src

@varungandhi-src varungandhi-src commented May 15, 2024

Copy link
Copy Markdown
Contributor

Fixes GRAPH-597

Tokens are now required

Test plan

Check that uploads work for this PR

@varungandhi-src varungandhi-src requested a review from a team May 15, 2024 11:11
@varungandhi-src varungandhi-src enabled auto-merge (squash) May 15, 2024 11:46
@varungandhi-src varungandhi-src merged commit 03b18dd into main May 15, 2024
@varungandhi-src varungandhi-src deleted the vg/scip branch May 15, 2024 11:51
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.

3 participants