Skip to content

TyTy: Remove deprecated FnDef API #3384

TyTy: Remove deprecated FnDef API

TyTy: Remove deprecated FnDef API #3384

Triggered via pull request December 14, 2023 12:03
Status Success
Total duration 7m 11s
Artifacts

commit-format.yml

on: pull_request
check-changelogs
7m 1s
check-changelogs
check-gccrs-prefix
0s
check-gccrs-prefix
check-commit-signoff
5m 8s
check-commit-signoff
Fit to window
Zoom out
Zoom in