Edit CI trigger - Githubissues

kit-data-manager / EVOKS

EVOKS (Editor for Vocabularies to Know Semantics)

Apache License 2.0

1 stars 0 forks source link

Edit CI trigger #115

Closed FelixFrizzy closed 1 month ago

FelixFrizzy commented 1 month ago

Job should run before a merge
Job is therefore executed when a pull request is added
Trigger on push is not needed