Actions: EasyCrypt/easycrypt
Actions
1,169 workflow runs
1,169 workflow runs
sim
EasyCrypt CI
#4933:
Pull request #997
synchronize
by
oskgo
split * and split + to iterate over top-level conjunct…
EasyCrypt CI
#4916:
Commit e2bb4eb
pushed
by
github-merge-queue
Bot
split * and split + to iterate over top-level conjunctions
EasyCrypt CI
#4909:
Pull request #1015
synchronize
by
strub