Changelog

[Julow]

We should keep a changelog!

I propose we force ourselves to think about the changelog at every PRs. I've hooked https://github.com/tarides/changelog-check-action into the CI to check that. It'll fail if the changelog hasn't been updated, this can be disabled with the no changelog tag.

I've left out PRs modifying only the README (#51, #45, #49 and this one) in the initial changelog.

[pitag-ha]

Perfect, thanks!

I've hooked https://github.com/tarides/changelog-check-action into the CI to check that.

Cool! What do you think about using @Leonidas-from-XIV's version of that? Apart from checking if the changelog has been changed, it also replaces #<PR_NUMBER> with the number of the PR. We could just copy the configuration we have for that in dune-release

[pitag-ha]

Btw, do you know why the CI is failing?

[Leonidas-from-XIV]

Glad to see that others find value in the actions! There's actually two of them:

1. The check changelog action that makes sure a changelog is updated in the PR
2. the pr-number-action that suggests the PR number exactly as @pitag-ha describes

[Julow]

I've added the pr-number too, this looks very useful.
The job that is failing in CI is one that shouldn't run. (fixed in https://github.com/tarides/ocaml-platform/pull/56)