Add contextual rewrite-pattern selection · EasyCrypt/easycrypt@565921e

Triggered via pull request April 9, 2026 07:29

strub

synchronize #955

rw-pattern-ctxt

Status Success

Total duration 3m 26s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.88 MB	`sha256:41d98ddc05cde3be170fde19fd68df3b984f23e1a20a5c2911e7a91ab5c99402`