Skip to content

chore: deprecate := variants of inductive and structure #9967

chore: deprecate := variants of inductive and structure

chore: deprecate := variants of inductive and structure #9967

Triggered via pull request October 8, 2024 22:32
Status Success
Total duration 9s
Artifacts

pr-title.yml

on: pull_request
check-pr-title
2s
check-pr-title
Fit to window
Zoom out
Zoom in