Skip to content
Cancel PR Workflow

chore(query): desugar round/truncate #2040

Sign in to view logs

chore(query): desugar round/truncate

chore(query): desugar round/truncate #2040

Triggered via pull request December 20, 2023 05:23
@BohuTANGBohuTANG
closed #14087
Status Skipped
Total duration 2s
Artifacts –

cancel.yml

on: pull_request_target
cancel
0s
cancel
Fit to window
Zoom out
Zoom in