New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make network globals available in da checker #5438

Closed

eserilev wants to merge 1 commit into sigp:das from eserilev:network-globals-in-da-checker

Collaborator

eserilev commented Mar 19, 2024 •

edited

Loading

add network global to da checker


          add network globals field to da checker

46cda26

eserilev force-pushed the network-globals-in-da-checker branch from 230e9a8 to 46cda26 Compare

March 19, 2024 11:53

eserilev changed the title ~~Make network globals avail in da checker~~ Make network globals available in da checker

eserilev added the das label

eserilev closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

das