Skip to content
vscode-lean4 build

fix: unicode file paths displayed as URI-encoded in the infoview #3159

Sign in to view logs

fix: unicode file paths displayed as URI-encoded in the infoview

fix: unicode file paths displayed as URI-encoded in the infoview #3159

This workflow is awaiting approval from a maintainer in #760
Triggered via pull request April 12, 2026 10:39
@kuotsanhsukuotsanhsu
opened #760
kuotsanhsu:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #760

on-push.yml

on: pull_request
pre-release
pre-release
publish-packages
publish-packages
release
release
Matrix: build-and-test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in
⚡