Author

Rachel Chen <rachel@chens.email> 2022-09-03 05:56:24 -0700

Parents

b58e12b

Tree

41cdc30

CI: specify agent in Jenkins and fix pipeline