Cryptol typecheck

`ChaChaPolyCryptolIETF`: Return an `Option` in `AEAD_CHACHA20_POLY1305_DECRYPT` #722

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request February 6, 2025 20:36

RyanGlScott

opened #240

239-ChaChaPolyCryptolIETF

Status Success

Total duration 1m 21s

Artifacts –

ci.yml

on: pull_request