commit message

Remove a bunch of unnecessary `Term` ops #556

Sign in to view logs

Triggered via pull request December 16, 2024 17:35

ice1000

synchronize #1223

ice1000

Status Success

Total duration 12s

Artifacts –

commit-check.yaml

on: pull_request