Charles Plessy
01/26/2026, 4:14 AMJames Fellows Yates
01/26/2026, 1:23 PMJames Fellows Yates
01/26/2026, 1:24 PMJames Fellows Yates
01/26/2026, 1:24 PMdev should be with a version of X.X.XdevJames Fellows Yates
01/26/2026, 1:25 PMJames Fellows Yates
01/26/2026, 1:25 PMdevJames Fellows Yates
01/26/2026, 1:25 PMdev -> masterJames Fellows Yates
01/26/2026, 1:25 PMJames Fellows Yates
01/26/2026, 1:26 PMCharles Plessy
01/27/2026, 7:00 AMdev because it gave me lint failures saying that I should not have `dev`… In any case, we plan to make a release PR as soon as this PR is merged.James Fellows Yates
01/27/2026, 7:02 AM--release was that the case?Charles Plessy
01/27/2026, 7:04 AMJames Fellows Yates
01/27/2026, 7:06 AMCharles Plessy
01/27/2026, 7:08 AMJames Fellows Yates
01/27/2026, 9:09 AM