Skip to content

Add pluggable in-browser TLC regression tests for lessons#11

Merged
FedericoPonzi merged 1 commit into
mainfrom
fponzi/tlcweb-reg
Jul 15, 2026
Merged

Add pluggable in-browser TLC regression tests for lessons#11
FedericoPonzi merged 1 commit into
mainfrom
fponzi/tlcweb-reg

Conversation

@FedericoPonzi

Copy link
Copy Markdown
Collaborator

Followup to #7 (comment)

@github-actions

Copy link
Copy Markdown

📦 Site preview built! Download the artifact to preview locally:

Download preview

To view: unzip, cd into the folder, then serve with a local HTTP server:

npx serve .
# or
python3 -m http.server

@FedericoPonzi
FedericoPonzi merged commit 2726b2f into main Jul 15, 2026
2 checks passed
@FedericoPonzi
FedericoPonzi deleted the fponzi/tlcweb-reg branch July 15, 2026 16:53
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.

1 participant