Skip to content
Build documentation

[cryptolib] generalize PRF definitions, PRP<->PRF #1118

Sign in to view logs

[cryptolib] generalize PRF definitions, PRP<->PRF

[cryptolib] generalize PRF definitions, PRP<->PRF #1118

Triggered via pull request September 3, 2026 09:08
@fdupressfdupress
synchronize #1028
prf-generalise
Status Success
Total duration 6m 57s
Artifacts 1

docs.yml

on: pull_request
build
6m 53s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build
Input 'dune-cache' has been deprecated with message: This input will be removed in v4. The "cache" input takes precedence: "cache: false" disables Dune caching. Manage Dune caching separately after removal.
build
Input 'dune-cache' has been deprecated with message: This input will be removed in v4. The "cache" input takes precedence: "cache: false" disables Dune caching. Manage Dune caching separately after removal.

Artifacts

Produced during runtime
Name Size Digest
refman
7.93 MB
sha256:64d8394e02c354bf400e7991a2767d56a745128403b14f7d6741f37123dd115f