Node 20

[Dafnik]

Node16 has been deprecated an it's not recommended for usage any more.

Announcement: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/

[jshawl]

I think this is the culprit!

github-action/action.yml

Line 20 in 54636e4

using: 'node16'

will see if I can publish a fix soon