Build docker images in CI · EasyCrypt/easycrypt@15507a9

Triggered via pull request February 5, 2026 22:06

strub

synchronize #842

docker-builds-in-ci

Status Success

Total duration 3m 41s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.83 MB	`sha256:1b34c86dfb6880105a7a1c928d93cafe3efada373abf9e639320d1361acfc081`