Skip to content

Conversation

bytexenon
Copy link

This pull request aims to address the issue #47, where the action fails due to planned outages at lua.org.

A mirror is available at https://www.tecgraf.puc-rio.br/lua/mirror/ and this PR modifies the main.js file to take this mirror into account during the outage periods.

Changes Made:

  1. Updated the URL in main.js to switch to the mirror URL when lua.org is down.

Please review the changes and let me know if any modifications are required.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants