GitHub action for deploying refman. · EasyCrypt/refman@15810d3

Triggered via push January 19, 2026 19:09

strub

main

Status Success

Total duration 19s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	260 Bytes	`sha256:900b3cf98e8e4db8709d54ee8b0f5a6e0db6bcbe24d75b7974cb6acaeb0b9012`