Activate CI on merge_group · EasyCrypt/easycrypt@20c7019

Triggered via pull request March 28, 2026 10:57

strub

synchronize #962

merge-queue

Status Success

Total duration 8m 58s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:07aa98258d73803c917122973fd2839d426b165eb65271bcc67c5a7ffd4d6453`