check github actions monthly only [no ci]
opam file lint: fix license name
CI: add coq 8.17 (#47) * CI: add coq 8.17 * fix README
Merge remote-tracking branch 'refs/remotes/origin/master'
update CHANGES
update