Skip to content

fix[lang]: fix precedence in floordiv hint #1776

fix[lang]: fix precedence in floordiv hint

fix[lang]: fix precedence in floordiv hint #1776

Triggered via pull request August 6, 2024 03:52
Status Success
Total duration 13s
Artifacts

pull-request.yaml

on: pull_request
validate-pr
4s
validate-pr
Fit to window
Zoom out
Zoom in