Skip to content
Deploy

Merge pull request #757 from wagenet/no-evaluation-of-getters #11

Sign in to view logs

Merge pull request #757 from wagenet/no-evaluation-of-getters

Merge pull request #757 from wagenet/no-evaluation-of-getters #11

Triggered via push August 23, 2024 22:10
@NullVoxPopuliNullVoxPopuli
pushed 77bdb1e
master
Status Success
Total duration 46s
Artifacts –

deploy-docs.yml

on: push
deploy
37s
deploy
Fit to window
Zoom out
Zoom in