Skip to content
Auto Merge PRs from keyman-server

chore(web): final subsegmentation removal 🐵 #4828

Sign in to view logs

chore(web): final subsegmentation removal 🐵

chore(web): final subsegmentation removal 🐵 #4828

Triggered via pull request November 24, 2023 06:05
@jahortonjahorton
opened #10080
chore/web/final-subsegmentation-removal
Status Skipped
Total duration 2s
Artifacts –

auto-merge-keyman-server-pr.yml

on: pull_request
build
0s
build
Fit to window
Zoom out
Zoom in