EasyCrypt CI

replay: redirect datatype constructors in match bodies too #5304

This workflow is awaiting approval from a maintainer in #1089

Triggered via pull request July 31, 2026 02:59

MavenRain

opened #1089

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #1089

ci.yml

on: pull_request

Matrix: Check EasyCrypt External Projects

Waiting for pending jobs

Matrix: Check EasyCrypt Libraries

Waiting for pending jobs