Improve error messages in the error_kind printer · formalsec/smtml@54fb754

Triggered via push December 28, 2025 18:49

filipeom

main

Status Success

Total duration 4m 14s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.9 MB	`sha256:33131a4e844014c8a7676f84bae9830b24525f272988727dc44d0a510d267629`