Skip to content

Fix string-format in warning for inductive types #44

Fix string-format in warning for inductive types

Fix string-format in warning for inductive types #44

Triggered via pull request February 15, 2024 13:52
Status Skipped
Total duration 2s
Artifacts

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in