Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language
On Tue, Jan 14, 2020 at 08:00:23AM -0800, Matthew Fernandez wrote:
> > autopkgtest [04:41:21]: test librumur-api: [-----------------------
> Is there a way to run autopkgtest myself? I was expecting pdebuild would
> do it but I can’t find options for this. Are you running it locally or
> looking at build server results somewhere?
There's some not entirely clear info in "man autopkgtest". I'm using an
old-style not best way to run it, thus it's probably not the best idea to
copy my schroot setup. You can use schroot (using a sane way...), lxc or
qemu.
There's more information in "man autopkgtest-virt-*"; especially
autopkgtest-build-qemu seem trivial to use.
> As far as I could tell, the build servers don't run the autopkgtests until
> a sponsor uploads the package to NEW but maybe I am mistaken.
Yeah, the official infrastructure uses only packages from the archive.
Meow!
--
⢀⣴⠾⠻⢶⣦⠀ A MAP07 (Dead Simple) raspberry tincture recipe: 0.5l 95% alcohol,
⣾⠁⢠⠒⠀⣿⡁ 1kg raspberries, 0.4kg sugar; put into a big jar for 1 month.
⢿⡄⠘⠷⠚⠋⠀ Filter out and throw away the fruits (can dump them into a cake,
⠈⠳⣄⠀⠀⠀⠀ etc), let the drink age at least 3-6 months.
Reply to: