Skip to content

Conversation

MasterOdin
Copy link
Member

PR removes the dependabot title fix workflow as we can now properly specify [DevDependency] as the prefix for dev PRs. See Submitty/Submitty#8912 for more details.

@codecov
Copy link

codecov bot commented Feb 17, 2023

Codecov Report

Merging #589 (8f21963) into main (c04a3a0) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #589   +/-   ##
=======================================
  Coverage   73.77%   73.77%           
=======================================
  Files          38       38           
  Lines        1323     1323           
=======================================
  Hits          976      976           
  Misses        347      347           

@MasterOdin MasterOdin merged commit 14964a1 into main Feb 17, 2023
@MasterOdin MasterOdin deleted the chore-dependabot-title-fix branch February 17, 2023 04:06
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.

1 participant