Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] testboard directory missing


view this post on Zulip Email Gateway (Jun 03 2021 at 09:57):

From: Lawrence Paulson <lp15@cam.ac.uk>
Now it is about testboard:

src/HOL: hg push_tb

pushing to ssh://paulson@isabelle-server.in.tum.de//p/home/isabelle-repository/repos/testboard
remote: abort: repository /p/home/isabelle-repository/repos/testboard not found!
abort: no suitable response from remote hg!

I added the /p but it didn’t help. I even logged in to lxbroy10. The directory is not there:

lxbroy10: ls -l /p/home/isabelle-repository/repos/testboard/*
ls: cannot access '/p/home/isabelle-repository/repos/testboard/*': No such file or directory

Larry


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Jul 15 2022 at 23:21 UTC