Pre Commit Check

Add some comments on FromBuiltin/ToBuiltin/Lift #1999

Sign in to view logs

Triggered via pull request October 12, 2023 13:29

michaelpj

opened #5585

mpj/builtins-notes

Status Success

Total duration 1m 45s

Artifacts –

pre-commit-check.yml

on: pull_request

pre-commit-check