Pushes local problem to Polygon. Creates new problem if Config.json doesn't contain problem ID. Updates existing problem if ID is present. Uploads all files including solutions, tests, checker, validator, statements.
Path to problem directory with Config.json
Optional
Resolves when push completes
If credentials are not registered
If Config.json is invalid or missing
If Polygon API request fails
// From CLI: polyman remote-push ./my-problemawait remotePushProblemAction('./my-problem');// Creates new problem or updates existing one Copy
// From CLI: polyman remote-push ./my-problemawait remotePushProblemAction('./my-problem');// Creates new problem or updates existing one
Pushes local problem to Polygon. Creates new problem if Config.json doesn't contain problem ID. Updates existing problem if ID is present. Uploads all files including solutions, tests, checker, validator, statements.