Robert Stoll
Robert Stoll
@vlsi I guess you overlooked this one. Could you take a look and let me know if something should be adjusted? Thanks
Well well... I just realised that this particular text will be dropped entirely with the new reporting. But a similar problem still remains and still needs to be fixed (I...
@WesleyJammer yes, UsageHintGroup and DebugGroup are most likely shown if they occur in a ProofExplanation currently, but should not
Sorry for the delay, that's now the third time I see your issue and start writing an answer. Let's hope I am not getting interrupted again 😁Usually repos welcoming contributors...
failed or ignored? Are you on windows? Do you have a slack account in the kotlin space? Maybe easier to communicate
The CI is green for windows but a lot of tests are ignored since there are features which Windows does not support: https://github.com/robstoll/atrium/actions/runs/13435355382/job/37536311080#step:5:510 I guess you encounter a permission issue....
Let's continue in a discussion to keep the issue clean: https://github.com/robstoll/atrium/discussions/1905 Also, other contributors using Windows might benefit in the future
Not at all, take your time and make sure you pull upstream so that when you start/continue your work, it is based on latest.
@fzhinkin I created an issue as you asked for in #227, how to proceed now? I did not get any feedback so far if there is a consensus that the...
@qwwdfsad maybe you can give me pointers how to proceed? If the request as such is accepted, then I gladly add tests if needed.