Closed olleolleolle closed 2 weeks ago
Pinging @kjvarga to have some of these pending PRs merged asap. ☝🏼
Hi there! Any news? ping @kjvarga
@olleolleolle hello! can you please rebase your branch? Thank you!
@n-rodriguez Now rebased!
I guess the CI configuration has to be unconfigured in the Settings page of this project, so that there are no requirements on CircleCI having finalized.
@olleolleolle @n-rodriguez I've removed the CircleCI Webhook from settings so it shouldn't show up in the status checks. But looks like we might have to push an empty commit to clear out the errored job.
@olleolleolle @kjvarga Thank you!
This PR adds binding and line number information to an eval'd piece of code.