Trigger ide.kaitai.io/devel rebuild after NPM publish

[jtbandes]

Triggers the kaitai_struct_webide workflow to re-run (see kaitai-io/kaitai_struct_webide#181) after the NPM publish step.

This will require adding a repository secret to the kaitai_struct repo named KAITAI_STRUCT_WEBIDE_GITHUB_TOKEN, which should hold a github access token with contents: write permissions on the kaitai_struct_webide repo, allowing it to trigger the workflow. (See more about token permissions on this third-party action's readme.)

[generalmimon]

@jtbandes Thanks for suggesting a possible solution. I don't see much value in using octokit/request-action though, it looks like a glorified "reimplementation" of curl in JavaScript. I'd rather use curl directly, which is a much more common dependency, comes preinstalled (so we don't have to worry about bumping its version once in a while), and is more flexible.

And I'd put the curl invocation to the trigger-kaitai_struct_webide script and call the script from the CI workflow config. You can replace its contents - it was only left for reference of how the trigger was done with Travis CI, but we don't use Travis anymore, so it's no longer used.

[jtbandes]

Updated with curl command adapted from https://docs.github.com/en/rest/repos/repos?apiVersion=2022-11-28#create-a-repository-dispatch-event

[generalmimon]

@jtbandes Thanks! Let's try it in action.

[generalmimon]

It looks like it should work now. I didn't get it right the first time (I should have done more local testing instead of just assuming things), but https://github.com/kaitai-io/kaitai_struct_webide/actions/runs/10533243030 proves that the CI workflow of kaitai_struct_webide was successfully triggered from https://github.com/kaitai-io/kaitai_struct/actions/runs/10533223574/job/29188839941#step:6:10. Although the triggered CI run didn't actually update the compiler and runtime to latest versions (note that there is no update for either in kaitai-io/ide-kaitai-io.github.io@dd70c74), it appears that I finally fixed this in kaitai-io/kaitai_struct_webide@2b6cfd5 - see kaitai-io/ide-kaitai-io.github.io@5fb4dac.

So now https://ide.kaitai.io/devel/ should be automatically kept up to date again.