Skip to content
book

use a not-cryptographic rng for input generator (#217) #131

Sign in to view logs

use a not-cryptographic rng for input generator (#217)

use a not-cryptographic rng for input generator (#217) #131

Triggered via push May 30, 2024 06:58
@camshaftcamshaft
pushed f91cc10
master
Status Success
Total duration 15s
Artifacts –

book.yml

on: push
build-deploy
6s
build-deploy
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-deploy
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: peaceiris/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.