Code snippets from snippet-generate action#6934
Code snippets from snippet-generate action#6934github-actions[bot] wants to merge 1 commit intomainfrom
Conversation
|
@rvisser7 it looks like there were some %s that didn't get substituted? |
|
Thanks - I've submitted the PR #6935 which should fix the silly labelling issue with the snippet tests for the ECQ isogeny class 37.a. 🙂 The So I guess I'm a bit confused why the CI is generating these log files - I've only specified Sage as a valid language in the snippet tests for 11.1-a and 81.1-CMa. In practice this shouldn't affect users, since the ECNF isogeny class code snippets are only implemented in Sage, and the other languages (Pari/Oscar/Magma) don't appear in the UI or the sidebar download links. I'm probably just misunderstanding how the snippet tests work. This is how I'm currently implementing the tests in I guess I'm probably doing something wrong here, but I'm not sure what the fix is? Maybe I need to set |
This commit adds documentation of the snippet testing system in `Development.md`, as well as fixes a bug with the lang tag in snippet_test tags being ignored. It also implements the same elliptic curve code.yaml fix as LMFDB#6935.
Add documentation of snippet testing; fix lang tag issue in #6934
41f1677 to
6929fe3
Compare
6929fe3 to
d5bf881
Compare
This is an auto-generated PR with code snippets from yaml files.