Bump Release

Include keccak & aux lemmas conditionally (#779) #493

Sign in to view logs

Triggered via push August 22, 2024 15:48

master

Status Success

Total duration 17s

Artifacts –

master-push.yml

on: push

Version Bump and Start Release