On 19.08.2015 22:45, Makarius wrote:
On Wed, 19 Aug 2015, Larry Paulson wrote:
I pushed a changeset to the testboard, but it isn’t showing up at
http://isabelle.in.tum.de/testboard/Isabelle
The last change it shows was 6 days ago.
Moreover, testboard and the default branch look identical (I’
On Wed, 19 Aug 2015, Larry Paulson wrote:
I pushed a changeset to the testboard, but it isn’t showing up at
http://isabelle.in.tum.de/testboard/Isabelle
The last change it shows was 6 days ago.
Moreover, testboard and the default branch look identical (I’m using
SourceTree), so have I simult
I pushed a changeset to the testboard, but it isn’t showing up at
http://isabelle.in.tum.de/testboard/Isabelle
The last change it shows was 6 days ago.
Moreover, testboard and the default branch look identical (I’m using
SourceTree), so have I simultaneously pushed my changes to the main reposi
On Mon, 7 Jul 2014, Lars Noschinski wrote:
@Makarius: Does this use fit the intention of USER_HOME?
Is this question still open? I have lost track of the various Mira
configuration problems.
I have implemented this approach (i.e., Mira sets $USER_HOME to some
arbitrary place before starting
On 04.07.2014 12:43, Makarius wrote:
> On Wed, 4 Jun 2014, Lars Noschinski wrote:
>
>> On 04.06.2014 13:37, Johannes Hölzl wrote:
>>> We remove ~isatest/.isabelle/heaps/.../HOL-Proofs on lxbroy10 and
>>> now it
>>> works...
>>>
>>> I don't know why mira is accessing this file, it actually sets up t
On Wed, 4 Jun 2014, Lars Noschinski wrote:
On 04.06.2014 13:37, Johannes Hölzl wrote:
We remove ~isatest/.isabelle/heaps/.../HOL-Proofs on lxbroy10 and now it
works...
I don't know why mira is accessing this file, it actually sets up the
settings file to _not_ look into the users heaps-directo
On 04.06.2014 13:37, Johannes Hölzl wrote:
> We remove ~isatest/.isabelle/heaps/.../HOL-Proofs on lxbroy10 and now it
> works...
>
> I don't know why mira is accessing this file, it actually sets up the
> settings file to _not_ look into the users heaps-directory. But it looks
> like there is a pro
We remove ~isatest/.isabelle/heaps/.../HOL-Proofs on lxbroy10 and now it
works...
I don't know why mira is accessing this file, it actually sets up the
settings file to _not_ look into the users heaps-directory. But it looks
like there is a problem with this setup.
- Johannes
Am Mittwoch, den
Hi,
a change of mine leads to a failure of the testboard,
HOL-Proofs-Extraction can not be build anymore.
For example see:
http://isabelle.in.tum.de/testboard/Isabelle/report/8ceeff1ddd5f46b49db13d3380997d28
But when I run on this very changeset the commands
isabelle build -b HOL-Proofs-Extr
On 02.10.2013 01:09, Alexander Krauss wrote:
On 09/27/2013 11:49 AM, Lars Noschinski wrote:
It might be a good idea to implement a strategy which tests the existing
heads in reverse chronological order (commits pushed last get tested
first), but I am not sure whether this information is availabl
On 09/27/2013 11:49 AM, Lars Noschinski wrote:
It might be a good idea to implement a strategy which tests the existing
heads in reverse chronological order (commits pushed last get tested
first), but I am not sure whether this information is available in
Mercurial (we have the commit date, but t
Am 27.09.2013 um 12:29 schrieb Peter Lammich :
> So here is my question:
> If I have some changeset, and want to check whether it breaks AFP
> before pushing it to the isabelle repository, how do I do it? Can I use
> Testboard?
I don't know if you're using queues, but what I typically do in such
I always thought that there are two use-cases of Testboard:
1. Whenever you push to the Isabelle repository, this is tested by
testboard
2. You can push your changeset only to testboard, to check it before
pushing it to the isabelle repo and perhaps breaking it.
However, according to Lars' rep
On 27.09.2013 09:16, Peter Lammich wrote:
I pushed on testboard 19 hours ago, and my push (36cf426cb1c6) currently
only shown as 1/3 processed. Now, testboard seems to have stopped
processing it ... however, many later pushs have already run through
completely.
What's the strategy to get your pu
Hi,
I pushed on testboard 19 hours ago, and my push (36cf426cb1c6) currently
only shown as 1/3 processed. Now, testboard seems to have stopped
processing it ... however, many later pushs have already run through
completely.
What's the strategy to get your push on testboard processed within
reason
Hi,
after pushing patches to the testboard, I got the following error when trying
to qpop these patches:
abort: popping would remove an immutable revision
I investigated the problem and it turns out the problem is caused by
mercurial's new phases feature introduced in v2.1
(see http://mercuria
On 10/10/2012 12:51 PM, Florian Haftmann wrote:
I cannot connect to testboard at the moment, it seems to be in bad
shape again.
The testboard should now be in a running state again.
For the record: is there any diagnosis what went wrong?
On the webserver, spidermonkey was updated on Monday ev
I cannot connect to testboard at the moment, it seems to be in bad
shape again.
The testboard should now be in a running state again.
For the record: is there any diagnosis what went wrong?
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_
Hi all,
tomorrow Wed 11th in the morning (GMT) there will be an interrupt in the
testboard due to maintainance works on the macbroy15 machine hosting its
database.
(Wed 11th of course, *not* 10th)
Sorry for any inconvenience,
Florian
--
PGP available:
http://home.informatik.tu-muen
Hi all,
tomorrow Wed10th in the morning (GMT) there will be an interrupt in the
testboard due to maintainance works on the macbroy15 machine hosting its
database.
Sorry for any inconvenience,
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftma
Hi Lukas,
I reset the testboard repository to start with a clean clone from the
development repository and now everything should work again.
If anyone is eager to restore the old testboard's changesets, we are
happy for any assistance, otherwise we will discard them within the next
week, if no o
Hello all,
Lars and I have taken over the maintenance of the reports and testboard
from Alex yesterday.
Today, due to some storage issues, we did not learn early enough about,
the testboard repository changed into an inconsistent state.
I reset the testboard repository to start with a clean
22 matches
Mail list logo
