easycrypt: 2024.01 → 2024.09 #41319

Sign in to view logs

Triggered via pull request October 3, 2024 04:20

vbgl

synchronize #345928

Status Success

Total duration 2m 6s

Artifacts –

check-shell.yml

on: pull_request_target

shell-check-x86_64-linux

shell-check-aarch64-darwin