Add contextual rewrite-pattern selection · EasyCrypt/easycrypt@c4fd44b

Triggered via pull request April 9, 2026 11:24

strub

synchronize #955

rw-pattern-ctxt

Status Success

Total duration 3m 38s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.88 MB	`sha256:f43d1ed53f56c42832a56ed888e5f3a3c4ed7beed20d270542154334c710ca85`