lexer: do not lex decimal numbers when the parser won't accept them #3419
strub
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
EasyCrypt compilation (opam)
1m 20s
Fetch EasyCrypt External Projects Matrix
4s
EasyCrypt compilation (nix)
1m 33s
Matrix: Check EasyCrypt Libraries
Matrix: Check EasyCrypt External Projects
Notification
3s
Annotations
1 warning
|
Notification
The following actions use a deprecated Node.js version and will be forced to run on node20: technote-space/workflow-conclusion-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
report.log (cryptobox)
Expired
|
414 Bytes |
sha256:3843c31bbaec227dd66305b342c03f0a75231634df55845147984dd114786aae
|
|
|
report.log (examples)
Expired
|
1.1 KB |
sha256:1edd5dc6f104c83e4a3d7736834c2237b18170c258277dcd3eb97b650b49ccc2
|
|
|
report.log (jasmin-eclib)
Expired
|
469 Bytes |
sha256:8d29d45ea6745fba843164e64bf523383decd6beefbb8cefaf9725f2df09db22
|
|
|
report.log (sha3)
Expired
|
668 Bytes |
sha256:8e7cfe70739e5db523e0133c00c5c3c0e9b464e3855602fbe87d573e6c9b3ad8
|
|
|
report.log (sphincsplus)
Expired
|
547 Bytes |
sha256:27c003f4bedb37977d9f78399a693215c1ce176e2759827eeb21522e43133f5c
|
|
|
report.log (stdlib)
Expired
|
2.22 KB |
sha256:39bfc64ac79ec6d8b1c068cbfcfcffc4666ced831ccf7dae3cc4c0147936c725
|
|
|
report.log (unit)
Expired
|
593 Bytes |
sha256:8519b5b8318eead9c6f9a8f655fa7be7b5b8334ff9b5b73255e0b3ba5fe8e124
|
|
|
report.log (xmss-acai)
Expired
|
561 Bytes |
sha256:074344c8640f6e37ab9804c25b70448fe9e3059e9d261dfdac80ebcc36d76cbf
|
|
|
report.log (xmss-fsai)
Expired
|
541 Bytes |
sha256:01830f6025215b06377a51ca41952b053d61b8c4a4e0d7cdca49ba8899007d0c
|
|
|
report.log (xsalsa20)
Expired
|
340 Bytes |
sha256:24cea072bfde6ead57a10729884fb8927cdf4b483b34efbef1719e5279c64cc0
|
|