Pretty printer: print terminator after module types #3688
This workflow is awaiting approval from a maintainer in #723
Triggered via pull request
February 21, 2025 14:10
ruipedro16
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #723
ci.yml
on: pull_request
EasyCrypt compilation (opam)
Fetch EasyCrypt External Projects Matrix
EasyCrypt compilation (nix)
Matrix: Check EasyCrypt Libraries
Waiting for pending jobs
Matrix: Check EasyCrypt External Projects
Waiting for pending jobs
Notification