Skip to content

Revert workaround typer 1215#535

Merged
fstagni merged 2 commits intoDIRACGrid:mainfrom
chrisburr:revert-workaround-typer-1215
Jun 2, 2025
Merged

Revert workaround typer 1215#535
fstagni merged 2 commits intoDIRACGrid:mainfrom
chrisburr:revert-workaround-typer-1215

Conversation

@chrisburr
Copy link
Copy Markdown
Member

@chrisburr chrisburr commented May 13, 2025

@chrisburr chrisburr force-pushed the revert-workaround-typer-1215 branch 4 times, most recently from 17e608d to c16a55e Compare May 15, 2025 04:00
@chrisburr chrisburr marked this pull request as ready for review May 15, 2025 07:21
@chrisburr chrisburr requested a review from chaen May 15, 2025 07:21
@fstagni fstagni closed this Jun 2, 2025
@fstagni fstagni force-pushed the revert-workaround-typer-1215 branch from 0431d26 to d34f10f Compare June 2, 2025 15:45
@fstagni fstagni reopened this Jun 2, 2025
@fstagni fstagni merged commit a3fa62c into DIRACGrid:main Jun 2, 2025
25 checks passed
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.

2 participants