Skip to content
This repository has been archived by the owner on Aug 21, 2024. It is now read-only.

Commit

Permalink
fix: merge paths (#2026)
Browse files Browse the repository at this point in the history
Signed-off-by: Dori Medini <[email protected]>
  • Loading branch information
dorimedini-starkware authored Jul 2, 2024
1 parent 48dcb2d commit edb9170
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion scripts/merge_paths.json
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
{
"main-v0.13.1": "main"
"main-v0.13.1": "main-v0.13.2",
"main-v0.13.2": "main"
}

0 comments on commit edb9170

Please sign in to comment.