Merge pull request #309 from leanprover-community/update_dependencies

work on proxy: wrap sample code around editor

Merge pull request #308 from tautastic/fix-usage-of-cypress

Updated octokit to remove several moderate vulnerabilities.

Update or replace vulnerable dependencies and adjust import.mjs accor…

Merge pull request #307 from tautastic/fix-action

rename npm scripts

update action

add missing dependency

Merge pull request #285 from LeoDog896/auto-log

add missing dependency

update action

update action

wip client

update workflow

udpate cypress workflow

fix cypress script

Merge pull request #306 from tautastic/add-cypress

fix

Merge pull request #285 from LeoDog896/auto-log

wip

work on client

feat: show local games on landing page

Merge pull request #301 from leanprover-community/FIX/nothing_here

Add error message if unpacking of artifact zip fails.

fix: also check existance of first world of a Dependency arrow #292

chore: hidden tactics do not need a doc entry #300

Merge pull request #298 from leanprover-community/FIX/nothing_here

Fixed error in progress display and changed it to progress bar

Change access to download state