zyedidia / micro

A modern and intuitive terminal-based text editor
https://micro-editor.github.io
MIT License
24.37k stars 1.16k forks source link

workflows: General improvements #3354

Closed JoeKar closed 1 week ago

JoeKar commented 2 weeks ago

This is a followup of #3334.

Neko-Box-Coder commented 2 weeks ago

Shouldn't we also disable the CI that @zyedidia has? So that it is not confusing. Also, I think we can add this

 on:
+  workflow_dispatch: # Allows manual trigger
   schedule:
    - cron:  '0 0 * * *'

so that we can test it immediately instead of needing to wait for the next day.

JoeKar commented 2 weeks ago

Shouldn't we also disable the CI that @zyedidia has? So that it is not confusing.

Yes, this should now be disabled, but only @zyedidia can this.

Also, I think we can add this

 on:
+  workflow_dispatch: # Allows manual trigger
   schedule:
    - cron:  '0 0 * * *'

so that we can test it immediately instead of needing to wait for the next day.

Yes, you finally convinced me that it's better for the testing purpose to not wait for the scheduling.