Skip to content
CI

Merge pull request #48 from SoniGames/proptest/optional #178

Sign in to view logs

Merge pull request #48 from SoniGames/proptest/optional

Merge pull request #48 from SoniGames/proptest/optional #178

Triggered via push July 15, 2023 23:57
@nyuichinyuichi
pushed 650aa09
master
Status Success
Total duration 1m 17s
Artifacts –

ci.yml

on: push
Check
28s
Check
Test
1m 1s
Test
Lints
1m 7s
Lints
Release
20s
Release
Fit to window
Zoom out
Zoom in