search

codinglab-io / discord-bot

Discord bot for Codinglab's server.
https://discord.com/invite/codinglab-174169014568878080
MIT License
19 stars 14 forks source link

ci: remove duplicated pipeline actions #83

Closed neolectron closed 1 year ago

neolectron commented 1 year ago

But we're already building without docker in the PR. Should I add docker anyway ? If so, should I remove the regular build ?

potb commented 1 year ago

Yeah but, let's say you change something in the dependencies, we won't catch the fail in the CI because it's not isolated