Skip to content
Docs Generation

Merge pull request #195 from JetBrains-Research/fix-doc-gen #53

Sign in to view logs

Merge pull request #195 from JetBrains-Research/fix-doc-gen

Merge pull request #195 from JetBrains-Research/fix-doc-gen #53

Triggered via push July 23, 2024 10:06
@dmitriybdmitriyb
pushed b6c2e7e
master
Status Success
Total duration 24s
Artifacts –

Docs Generation.yml

on: push
GenerateDocs
14s
GenerateDocs
Fit to window
Zoom out
Zoom in