SemanticDiff EveryVoice
ci: abort deploy docs when a new commit is pushed to main
#111
Merged

Overview Commits 1 Changes View On GitHub

ci: abort deploy docs when a new commit is pushed to main #111

roedoejet merged 1 commit into main from dev.deploy-docs-not-parallel
joanise
joanise ci: abort deploy docs when a new commit is pushed to main
3310e36d
codecov
roedoejet roedoejet requested a review from roedoejet roedoejet 1 year ago
roedoejet roedoejet merged df3ef59d into main 1 year ago
roedoejet roedoejet deleted the dev.deploy-docs-not-parallel branch 1 year ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum