Skip to content
CI

fix: user_resource should be a flag instead of an option (#74) #244

Sign in to view logs

fix: user_resource should be a flag instead of an option (#74)

fix: user_resource should be a flag instead of an option (#74) #244

Triggered via push October 12, 2023 06:33
@wangl-ccwangl-cc
pushed 000f672
main
Status Success
Total duration 7m 8s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Lint
1m 6s
Lint
Matrix: Build and test
Matrix: Coverage
Fit to window
Zoom out
Zoom in