[seq]: remove bck/fwd option + cleanup · EasyCrypt/easycrypt@96b17a3

Triggered via push February 3, 2026 17:28

strub

main

Status Success

Total duration 6m 24s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman Expired	7.83 MB	`sha256:18e46e941d87a8b1e7bf53073aa71abb234356941cda12b5c9ce2922981ba724`