Simmo Saan
Simmo Saan
Since they came up in the CI, I also made some related and unrelated fixes to the goblint packages. The failures for goblint.1.0.0 should probably be ignored: it's very ancient...
> I have tried to figure out authors for v1.0.0 from the sources, please let me know if that is not correct Close, I amended that based on what its...
No, I just ended up removing the meta schema reference before validation in a GitHub Actions workflow where I'm using ajv: ```yaml - name: Work around meta-schema missing error ...
> There is an option “draft” that would include the correct meta schema automatically without referencing it. What option? There isn't one [here](https://github.com/ajv-validator/ajv-cli#ajv-options). I did find https://ajv.js.org/json-schema.html#draft-04, but installing ajv-draft-04...
Feel free to let them do it! I won't rush to it then. Once we fix the submodule name for all these utilities in #370, then it should be very...
This is related to https://github.com/ocaml-ppx/ppx_deriving/issues/247, which really is just this ppxlib issue. if ppxlib's deriving transformation handled the special `optional` argument as well, then both issues would be solved. It...
Indeed, I am using `ppx_deriving`, but only for some utilities (#317). I'll have to see, if I can minimize what I have.
Removing the usage of `ppx_deriving`'s quoter, the original error disappears, but it still doesn't seem to work right. Instead of the above, second dune build and promote changes it to:...
That would be a breaking change for everyone who already has a lock file in the repository but doesn't use it for CI with the current behavior. Especially since it...
Fair enough. It would indeed be easier to add lock file usage into the advanced configuration examples than engineer a new input to the action. But if the core purpose...