Remove opam-repositories from CI as it is no longer needed · formalsec/smtml@5ba49c5

Triggered via push December 7, 2025 21:25

filipeom

main

Status Success

Total duration 8m 14s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.89 MB	`sha256:da57ddca3c5c7e0c95452ee4c980da2d14725d7c70c1cfb35104ddccce8756a9`