Make user-defined sorts accessible in "\dl_" escapes #3696
WolframPfeifertests.yml
on: pull_request
Matrix: integration-tests
Matrix: unit-tests
Annotations
5 errors and 13 warnings
|
unit-tests (ubuntu-latest, 21, key.core.testgen)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, key.core.testgen)
Process completed with exit code 1.
|
|
unit-tests (ubuntu-latest, 21, key.core)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, key.core)
Process completed with exit code 1.
|
|
integration-tests (testRunAllFunProofs, ubuntu-latest, 21)
Process completed with exit code 1.
|
|
unit-tests (windows-latest, 21, key.ncore)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, key.ncore.calculus)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, keyext.isabelletranslation)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, keyext.proofmanagement)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, key.core.example)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, keyext.ui.testgen)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, key.util)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, key.core.rifl)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, key.removegenerics)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, key.ui)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, keyext.exploration)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, keyext.caching)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
|
unit-tests (windows-latest, 21, keyext.slicing)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
test-results-testProveRules
Expired
|
89.2 KB |
sha256:64fbb6ed7af1442e319fcd4a1d2f017969305a2456b16dbff36057608e85aaa3
|
|
|
test-results-testRunAllFunProofs
Expired
|
402 KB |
sha256:41cef278e1cc68d7959ac87a54a194719fcf49ac9065f49e838e5e5b33e2b461
|
|
|
test-results-testRunAllInfProofs
Expired
|
221 KB |
sha256:e011b73e76d80b1568c4ba1a139740f8950493fdc63873f64d30fb2b0a36e67a
|
|
|
test-results-ubuntu-latest-key.core
Expired
|
624 KB |
sha256:88d60dfebaac82637c5507495b2db531f23d6ff34e4093265891b608e43af706
|
|
|
test-results-ubuntu-latest-key.core.example
Expired
|
39.9 KB |
sha256:aac1ef3fea34ec1fc346bde2a51e11637d15df2519cd0bed7d637eec7159d473
|
|
|
test-results-ubuntu-latest-key.core.rifl
Expired
|
39.8 KB |
sha256:09d2c48ebda6464d1868ddc9433d81e63400d0eed74d1083c66f3b834750e0b3
|
|
|
test-results-ubuntu-latest-key.core.testgen
Expired
|
95.8 KB |
sha256:5cb6beb6bb9c5a2fee5f843958ad9f6412603a2092293d0faa8d72c2f23c5dd6
|
|
|
test-results-ubuntu-latest-key.ncore
Expired
|
47.8 KB |
sha256:70874c89c4d1489100eb687920d81b9dd206ee81cbe34c9182fe39f1211d70e2
|
|
|
test-results-ubuntu-latest-key.ncore.calculus
Expired
|
39.7 KB |
sha256:ee2f139736729a62f406088e8538c9e50682920e55b103947ab93eb5d2c25826
|
|
|
test-results-ubuntu-latest-key.removegenerics
Expired
|
54.2 KB |
sha256:61da57284e65fc4bfd03b9074adf6c81e47d12201044801a6dbe24c038be8aac
|
|
|
test-results-ubuntu-latest-key.ui
Expired
|
55.6 KB |
sha256:e32ae620c027602f68f15ba5ec3ace262a4864ff4810bd2bde5ca339ba886fab
|
|
|
test-results-ubuntu-latest-key.util
Expired
|
79.1 KB |
sha256:ad3366acb1ac565f1c18204385998db18ff4e3c6a84f8fd4e3ab883f188916d4
|
|
|
test-results-ubuntu-latest-keyext.caching
Expired
|
47.8 KB |
sha256:cbad57a424485759fbda68a652c8c9392e11fc626fb10f36f89b31f3f83dfdc4
|
|
|
test-results-ubuntu-latest-keyext.exploration
Expired
|
47.6 KB |
sha256:0b0353a668bccf5e3bbb6b7b402f35aeec8b915dd64cf47ea82f81f94c8603d3
|
|
|
test-results-ubuntu-latest-keyext.isabelletranslation
Expired
|
40.2 KB |
sha256:7f8d2b8a40188a6724bfa50fc60cf2ff0ed95af0f3c69c66df9b48652d120645
|
|
|
test-results-ubuntu-latest-keyext.proofmanagement
Expired
|
40.2 KB |
sha256:684f436c483925e8440d5b11842cdb0d31728710c699de5fc4546bc5c2664a87
|
|
|
test-results-ubuntu-latest-keyext.slicing
Expired
|
56.7 KB |
sha256:754cfcd82eae08528d6c1666e46224e887415d8094087de29067a4b151798fde
|
|
|
test-results-ubuntu-latest-keyext.ui.testgen
Expired
|
40.2 KB |
sha256:482676ccf6cb3712c0e72c12a65a1a4e1b11b7bb81c73e97c7d94917b410d926
|
|
|
test-results-windows-latest-key.core
Expired
|
631 KB |
sha256:1f3494a21c275e1c014ca84a13818c5da21d8a2cc4031059fda28fab6665cfb6
|
|
|
test-results-windows-latest-key.core.example
Expired
|
39.9 KB |
sha256:f43434ce6df73b33e85c0e73e5f714a4245c975bfb495e836d918878e64920e3
|
|
|
test-results-windows-latest-key.core.rifl
Expired
|
39.9 KB |
sha256:02969535f25bc2943ca9c63fffa49eaae9aaf13ad33ebe7983566357c054246e
|
|
|
test-results-windows-latest-key.core.testgen
Expired
|
98.7 KB |
sha256:9c74d1678d442f8b39fa36c306eb3e14f941163529e7e5460723c039bc33d768
|
|
|
test-results-windows-latest-key.ncore
Expired
|
47.9 KB |
sha256:1a56d5ecfdc8a07b5f9745e5a97f910b68a6c6e5bf2d1e6c511fb4926f51aeb5
|
|
|
test-results-windows-latest-key.ncore.calculus
Expired
|
39.7 KB |
sha256:c4984666dadb97e04f617a918576e2bc8c3582d5e7b5a7e798c13007a4fe4279
|
|
|
test-results-windows-latest-key.removegenerics
Expired
|
54.3 KB |
sha256:1d589c9ebd2d54877041140969ca52818df8fc661c0ce98183ab112c4e73a349
|
|
|
test-results-windows-latest-key.ui
Expired
|
55.8 KB |
sha256:daf9387a6d647a71b3f635d7d0aad6dcc59ebb1539650b5017fabeb36873d976
|
|
|
test-results-windows-latest-key.util
Expired
|
79.5 KB |
sha256:80b31c3e19f4a73f64aec40b370cd9b01088222a4dff324e3a12a11dedff41cd
|
|
|
test-results-windows-latest-keyext.caching
Expired
|
47.8 KB |
sha256:49c29ec02ece7e2485a3fa2914ba6eecf3478b5379c70f2016fc050158b97fdd
|
|
|
test-results-windows-latest-keyext.exploration
Expired
|
47.7 KB |
sha256:33899a6c0c4301fb9f4e5bf5459369c6e2769a4dfe533bcc72d488e6a3ea9a32
|
|
|
test-results-windows-latest-keyext.isabelletranslation
Expired
|
40.3 KB |
sha256:b1636800a58b0c6d79fa4c822c412a839726e1f5bb4b4b3ada3bbba4000acc68
|
|
|
test-results-windows-latest-keyext.proofmanagement
Expired
|
40.3 KB |
sha256:2b7bbbb9153e388a5596e2c38c1820ede64d187e0fd37245f8b5c688c8da656b
|
|
|
test-results-windows-latest-keyext.slicing
Expired
|
57.1 KB |
sha256:4085fe744d0d39f9f1cfa80d5d303bd52d4e90aedec12a64714115f4287b7e00
|
|
|
test-results-windows-latest-keyext.ui.testgen
Expired
|
40.3 KB |
sha256:4f9f6068306dd6f310cfb4274494f01d7628438da37732d354a86490af950b05
|
|