add some shortcuts on relop based on physical equality · formalsec/smtml@be26390

Triggered via push December 13, 2025 19:41

filipeom

main

Status Success

Total duration 4m 16s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.9 MB	`sha256:83344fe56ac9b41bcdace7c3c4131ad2eaba975c8ae69690c85ecb83dc0edd44`