Skip to content
Release

chore: removing old docs (#3778) #1559

Sign in to view logs

chore: removing old docs (#3778)

chore: removing old docs (#3778) #1559

Triggered via push December 12, 2023 15:02
@github-merge-queuegithub-merge-queue[bot]
pushed 059ce4c
master
Status Success
Total duration 2m 52s
Artifacts –

release.yml

on: push
Create Release
1m 43s
Create Release
Update acvm workspace package versions
11s
Update acvm workspace package versions
Build binaries
0s
Build binaries
Publish ES packages
0s
Publish ES packages
Publish docs
0s
Publish docs
Publish acvm
0s
Publish acvm
Update lockfile
30s
Update lockfile
Update docs
0s
Update docs
Fit to window
Zoom out
Zoom in