build docker containers in CI · EasyCrypt/easycrypt@9557f1d

Triggered via push February 5, 2026 22:30

fdupress

main

Status Success

Total duration 3m 43s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman Expired	7.83 MB	`sha256:ff61a2daccc91d678f698ccf6f226363772aa3b791ed7e8bb9deb60bf783de60`