alexhumphreys/idris2-dockerfile

Looks like images stopped publishing

Closed this issue · 5 comments

According to docker's overview, 5 days ago images stopped being built regularly, having the last image being built 2 days ago after a pause. Well, I don't know, maybe it's a github's workflow issue, but can you check what's going on?

Well, it seems that publishing restored, at least to some extent (it seems to be published not every day, but at least whenever recently), so closing this for now.

Ah sorry, missed this issue. Yeah, think if there's no commits github stops running scheduled jobs after 2 months or so. Actually pretty confused how it started again...

Github actions again stopped running the scheduled jobs after 60 days without commits. Could you please enable runs again?

Thanks for re-enabling

Hopefully the #7 PR will:

  1. keep the readme up to date.
  2. cause regular commits so that the scheduled jobs don't get disabled.