Manual:Github Actions

From Mudlet
Revision as of 09:55, 17 May 2020 by Vadi (talk | contribs) (→‎Running actions manually: the page gives visual feedback now, so 'nothing will happen' no longer applies)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

What are they

They're automations that help Mudlet reduce administrative overhead. See Github's excellent overview for them.

Which have we got?

  1. Compile Mudlet in macOS. When: on every Git push.
  2. Update 3rdparty libraries used with Mudlet. When: every Friday night or manually. (This is: IRE Mapping script, Lua code formatter, character width algorithm, and our forks of edbee, sparkle-glue, dblsqd, qtkeychain. Note that fork updates don't check the origin repository but rather our forked version to ensure the main repo is up to date with it.)
  3. Update autocompletion information in Mudlet. When: every Friday night or manually.
  4. Update text available in Crowdin for translation. When: every Friday night or manually.
  5. Remove extra whitespace from commit. When: whenever called by typing /wslint in a PR comment.

All of Mudlet's Github actions are available in the repository.

Running actions manually

As a member of the Mudlet core dev team, visit the panel available at Once there, you can hit the green button on an action to run it manually.

Running an action manually.png

After running an action, you can go to Mudlet's actions overview and you'll see your action running.