Closed ilankri closed 6 months ago
To avoid the warning about deprecated Node.js 16 actions. See https://github.com/ocsigen/eliom/actions/runs/8134813445.
To avoid the warning about deprecated Node.js 16 actions. See https://github.com/ocsigen/eliom/actions/runs/8134813445.