Closed andyk closed 2 years ago
@andyk could you close, rebase on master, and re-open when you get a chance? GitHub is doing that thing where the diff is outdated and not updating :(
Okay @nickjalbert, I didn't close/rebase/reopen, but I did merge master into the branch this PR is based and now the diff view seems to be showing me the correct thing.
Is it working for you too?
btw merging master and pushing fixed the diff for me. Thanks!
This is based on top of https://github.com/nickjalbert/agentos/pull/10 which itself is a PR on top of the branch in #380.
Screenshot of the new run list page: