Skip to content
push-to-integral-repo

update ci for integral repo and discrete repo sync #1

Sign in to view logs

update ci for integral repo and discrete repo sync

update ci for integral repo and discrete repo sync #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
push
3s
3s