Type checks inconsistent when dealing with a -> b function types #15191
scala-new.yml
on: pull_request
Cancel Previous Runs
3s
Engine (linux)
36m 54s
Engine (macos)
9s
Engine (windows)
40m 14s
Annotations
10 errors and 5 warnings
Engine (macos)
The process 'bash' failed with exit code 127
|
Engine (macos)
Error: The process '/usr/local/bin/git' failed with exit code 128
|
Engine (macos)
Error: The process '/usr/local/bin/git' failed with exit code 128
|
Function Ascribed Parameters ► t4 with surround type check:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml#L0
Failed test found in:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml
Error:
An unexpected panic was thrown: (Type_Error.Error Integer surround[Ascribed_Parameters_Spec.enso:23-87] 'f')
|
Function Ascribed Parameters ► t1 with 42 type check:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml#L0
Failed test found in:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml
Error:
An unexpected panic was thrown: (Type_Error.Error Function 6 'f')
|
Function Ascribed Parameters ► t2 with 42 type check:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml#L0
Failed test found in:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml
Error:
An unexpected panic was thrown: (Not_Invokable.Error 6)
|
Function Ascribed Parameters ► t2 with text type check:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml#L0
Failed test found in:
/runner/_work/enso/enso/target/test-results/Tests/JUnit.xml
Error:
An unexpected panic was thrown: (Not_Invokable.Error 'hi')
|
Engine (linux)
Process completed with exit code 1.
|
Engine (linux)
Failed test were found and 'fail-on-error' option is set to true
|
Engine (windows)
The operation was canceled.
|
Cancel Previous Runs
The following actions uses node12 which is deprecated and will be forced to run on node16: styfle/cancel-workflow-action@0.9.1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Engine (macos)
The following actions uses node12 which is deprecated and will be forced to run on node16: s-weigand/setup-conda@v1.0.5. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Engine (linux)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Engine (linux)
Test report summary exceeded limit of 65535 bytes and will be trimmed
|
Engine (windows)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
Runtime Benchmark Report
Expired
|
14.4 KB |
|