Skip to content
Docs Generation

Merge pull request #208 from JetBrains-Research/update-primitives #64

Sign in to view logs

Merge pull request #208 from JetBrains-Research/update-primitives

Merge pull request #208 from JetBrains-Research/update-primitives #64

Triggered via push October 30, 2024 14:01
@cupertankcupertank
pushed 4c8aa67
master
Status Success
Total duration 25s
Artifacts –

Docs Generation.yml

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