Skip to content
GitHubPages

Merge pull request #812 from bratpiorka/rrudnick_coarse_doc_fix #530

Sign in to view logs

Merge pull request #812 from bratpiorka/rrudnick_coarse_doc_fix

Merge pull request #812 from bratpiorka/rrudnick_coarse_doc_fix #530

Triggered via push October 21, 2024 16:10
@lukaszstolarczuklukaszstolarczuk
pushed b19519f
main
Status Success
Total duration 4m 21s
Artifacts –

docs.yml

on: push
Build docs
1m 2s
Build docs
Deploy docs to GitHub Pages
11s
Deploy docs to GitHub Pages
Fit to window
Zoom out
Zoom in