Re: [sage-devel] silencing github workflow "Build Docker images and push to DockerHub "

2024-01-18 Thread Dima Pasechnik
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

[sage-devel] silencing github workflow "Build Docker images and push to DockerHub "

2024-01-18 Thread Nils Bruin
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 t