Skip to content
Publish GitHub Release

delete unused docs (#210) #101

Sign in to view logs

delete unused docs (#210)

delete unused docs (#210) #101

Triggered via push February 7, 2025 23:23
@philippemnoelphilippemnoel
pushed 4934ae8
dev
Status Success
Total duration 23s
Artifacts –

publish-github-release.yml

on: push
Publish ParadeDB pg_analytics GitHub Release
3s
Publish ParadeDB pg_analytics GitHub Release
Fit to window
Zoom out
Zoom in