Improve nix flake · EasyCrypt/easycrypt@13edaae

Triggered via pull request January 30, 2026 15:34

synchronize #877

improve_nix_flake

Status Success

Total duration 3m 41s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.82 MB	`sha256:8d9b2beb2ae9815f18021abf5239067ab71d362831813a85ace60ab7ec92ae67`