Skip to content

Minor renames and type fixes #88

Minor renames and type fixes

Minor renames and type fixes #88

Triggered via pull request February 23, 2026 08:57
Status Success
Total duration 11s
Artifacts

triage.yml

on: pull_request_target
Add ticket to inbox
5s
Add ticket to inbox
Fit to window
Zoom out
Zoom in