Add ocamlopt flags · formalsec/smtml@7b95c1e

Triggered via push January 15, 2026 13:22

filipeom

main

Status Success

Total duration 4m 31s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.9 MB	`sha256:98ddef6363defdd1bb20300e27203f53e60bfba3732fed5d1282bf93a4ac4739`