Interesting - I can see in the logs that I did two PR merges close after another and that this confused the build script on the machine that creates the signed binaries. I could manually restart the build, but I don't think there's much value as these are just random daily builds. I'll pay more attention to it after the next PR merge.
Thanks for pointing it out, though. I'll try to come up with a way to make the scripts more robust to multiple overlapping invocations. /D > On Dec 13, 2020, at 1:39 PM, John Smith <[email protected]> wrote: > > 4.9.10-41 10.15+11.0 _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
