Skip to content

[INFRA] Update contrib/std#3189

Merged
eseiler merged 4 commits intoseqan:masterfrom
eseiler:infra/update_std
Aug 25, 2023
Merged

[INFRA] Update contrib/std#3189
eseiler merged 4 commits intoseqan:masterfrom
eseiler:infra/update_std

Conversation

@eseiler
Copy link
Copy Markdown
Member

@eseiler eseiler commented Aug 25, 2023

No description provided.

@vercel
Copy link
Copy Markdown

vercel bot commented Aug 25, 2023

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
seqan3 ✅ Ready (Inspect) Visit Preview 💬 Add feedback Aug 25, 2023 11:18am

@seqan-actions seqan-actions added lint [INTERNAL] signal for linting and removed lint [INTERNAL] signal for linting labels Aug 25, 2023
@eseiler eseiler merged commit b2bc207 into seqan:master Aug 25, 2023
@eseiler eseiler deleted the infra/update_std branch August 25, 2023 12:03
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