Skip to content

Update the main repository to include the pipeline run ID #3883

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Feb 1, 2024

Conversation

Dakostu
Copy link

@Dakostu Dakostu commented Jan 30, 2024

This change is another submodule pointer + OpenAPI docs bump.

@Dakostu Dakostu added the feature New functionality label Jan 30, 2024
@Dakostu Dakostu requested a review from a team January 30, 2024 11:04
@Dakostu Dakostu force-pushed the topic/pipeline-run-id branch 2 times, most recently from 7d37143 to c06b8c2 Compare January 30, 2024 13:37
@Dakostu Dakostu force-pushed the topic/pipeline-run-id branch 2 times, most recently from aa51f36 to 4964160 Compare January 30, 2024 15:56
@Dakostu Dakostu marked this pull request as ready for review January 30, 2024 15:56
@Dakostu Dakostu force-pushed the topic/pipeline-run-id branch 2 times, most recently from 09d27d2 to 2e4d8b9 Compare February 1, 2024 08:42
@Dakostu Dakostu enabled auto-merge February 1, 2024 08:42
@Dakostu Dakostu force-pushed the topic/pipeline-run-id branch from 2e4d8b9 to 0455c90 Compare February 1, 2024 09:44
@Dakostu Dakostu force-pushed the topic/pipeline-run-id branch from 0455c90 to 5c36168 Compare February 1, 2024 09:48
@dominiklohmann dominiklohmann merged commit eb3f660 into main Feb 1, 2024
@dominiklohmann dominiklohmann deleted the topic/pipeline-run-id branch February 1, 2024 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants