Skip to content
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

ci: remove testim-workflow #13626

Merged

Conversation

Neudrino
Copy link
Contributor

@Neudrino Neudrino commented Aug 16, 2022

Summary

... as it is broken and unused for over 6 months

Additional information

as it is broken and unused for over 6 months

Signed-off-by: Fritz Lehnert <13189449+Neudrino@users.noreply.github.com>
@pull-request-size pull-request-size bot added the size/M Denotes a PR that changes 30-99 lines. label Aug 16, 2022
@github-actions
Copy link
Contributor

Thanks for opening a PR! 💯

A couple initial guidelines

Howto

  • Reviews. The "Reviewers" listed for this PR are the Magma maintainers who will shepherd it.
  • Checks. All required CI checks must pass before merge.
  • Merge. Once approved and passing CI checks, use the ready2merge label to indicate the maintainers can merge your PR.

More info

Please take a moment to read through the Magma project's

If this is your first Magma PR, also consider reading

@github-actions github-actions bot added the component: ci All updates on CI (Jenkins/CircleCi/Github Action) label Aug 16, 2022
@Neudrino Neudrino marked this pull request as ready for review August 16, 2022 13:37
@Neudrino Neudrino requested a review from a team as a code owner August 16, 2022 13:37
@Neudrino Neudrino self-assigned this Aug 16, 2022
@github-actions
Copy link
Contributor

dp-workflow

0 tests   0 ✔️  0s ⏱️
0 suites  0 💤
0 files    0

Results for commit a6c59b2.

Copy link
Contributor

@LKreutzer LKreutzer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lgtm - the scheduled failures of this workflow are kind of annoying.

@LKreutzer
Copy link
Contributor

Copy link
Member

@maxhbr maxhbr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Neudrino Neudrino merged commit b9ae621 into magma:master Aug 17, 2022
@Neudrino Neudrino deleted the ci/remove-broken-and-unused-nms-test-job branch August 17, 2022 06:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: ci All updates on CI (Jenkins/CircleCi/Github Action) size/M Denotes a PR that changes 30-99 lines.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants