Closed striezel closed 1 year ago
Note: the socket.io.js file is the generated output of make socket.io.js, and should not be manually modified.
socket.io.js
make socket.io.js
Updates the actions used in CI workflows to newer versions. The change should be backwards-compatible.
Note: the
socket.io.js
file is the generated output ofmake socket.io.js
, and should not be manually modified.The kind of change this PR does introduce
Other information (e.g. related issues)
Updates the actions used in CI workflows to newer versions. The change should be backwards-compatible.