update binder environment and include it in github action tests

update binder environment and include it in github action tests #512