[parser]: support for hex literals · EasyCrypt/easycrypt@3d043bb

Triggered via push March 2, 2026 09:22

strub

main

Status Success

Total duration 3m 49s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman Expired	7.87 MB	`sha256:771f3cf99eb469c479ed7f37c0460c0850044a80587230637fe919ca14bebb56`