Re: [Freemint-discuss] Github workflow dispatch events

[Thorsten O. <ad...@th...>]

On Samstag, 17. August 2024 19:41:04 CEST Miro Kropáček wrote:
> I have just fixed a stupid bug in QED and I can't propagate it back to the
> snapshots.


Hm, seems the deploy step was not run at all: https://github.com/freemint/
freemint/actions/runs/10434067283/job/28896512441