Skip to content

Merge pull request #263 from thetarnav/remove-wrong-semantic-tokens #758

Merge pull request #263 from thetarnav/remove-wrong-semantic-tokens

Merge pull request #263 from thetarnav/remove-wrong-semantic-tokens #758

Triggered via push October 27, 2023 10:24
Status Success
Total duration 5m 0s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in