feat(manual): hax-playground integration: use latest main
#3871
test.yml
on: pull_request
no-std-lib
37s
Matrix: test-workspace