Re: [sage-devel] silencing github workflow "Build Docker images and push to DockerHub "
On 18 January 2024 18:21:00 GMT, Nils Bruin wrote: >Since a while I've started getting notifications " Run failed: Build Docker >images and push to DockerHub - develop". I don't recall asking for those or >setting something up to trigger these workflows/builds. It looks like it's >something that's happening in my github account so I should be able to turn >it off. Does someone know where to turn off github workflows? Turn of Actions on the repo you get notifications from. > >(or if this is something that belongs to sage development and cannot be >turned off, I'd like to turn notification off -- or otherwise install a >filter to trash the notifications on receipt. But I figured it would be >better to check in case it's burning trees for no reason) > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/D3B6DD04-E754-4386-9CBA-069B4DDF1FAC%40gmail.com.
[sage-devel] silencing github workflow "Build Docker images and push to DockerHub "
Since a while I've started getting notifications " Run failed: Build Docker images and push to DockerHub - develop". I don't recall asking for those or setting something up to trigger these workflows/builds. It looks like it's something that's happening in my github account so I should be able to turn it off. Does someone know where to turn off github workflows? (or if this is something that belongs to sage development and cannot be turned off, I'd like to turn notification off -- or otherwise install a filter to trash the notifications on receipt. But I figured it would be better to check in case it's burning trees for no reason) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/94512e4b-0cfe-4708-94a0-af9a30f247b8n%40googlegroups.com.