Skip to content
Main

Merge pull request #106 from zama-ai/feature/add-div #44

Sign in to view logs

Merge pull request #106 from zama-ai/feature/add-div

Merge pull request #106 from zama-ai/feature/add-div #44

Triggered via push August 22, 2023 08:26
@david-zkdavid-zk
pushed df4cc05
main
Status Success
Total duration 1m 17s
Artifacts –

main.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in