Skip to content
Push dist

Merge pull request #196 from wagenet/better-types #16

Sign in to view logs

Merge pull request #196 from wagenet/better-types

Merge pull request #196 from wagenet/better-types #16

Triggered via push September 7, 2023 18:43
@SergeAstapovSergeAstapov
pushed dac1476
master
Status Success
Total duration 52s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

push-dist.yml

on: push
Push dist
43s
Push dist
Fit to window
Zoom out
Zoom in