Skip to content
Test CLI Launchers on all the platforms

Fix existing GADT constraints with introduced pattern-bound symbols #771

Sign in to view logs

Fix existing GADT constraints with introduced pattern-bound symbols

Fix existing GADT constraints with introduced pattern-bound symbols #771

Triggered via pull request April 7, 2025 22:35
@dwijnanddwijnand
opened #22928
dwijnand:fix-GADT-cstr-with-patbound
Status Success
Total duration 14m 35s
Artifacts –

test-launchers.yml

on: pull_request
Deploy and Test on Linux x64 architecture
5m 58s
Deploy and Test on Linux x64 architecture
Deploy and Test on Linux ARM64 architecture
4m 48s
Deploy and Test on Linux ARM64 architecture
Deploy and Test on Mac x64 architecture
14m 22s
Deploy and Test on Mac x64 architecture
Deploy and Test on Mac ARM64 architecture
4m 13s
Deploy and Test on Mac ARM64 architecture
Deploy and Test on Windows x64 architecture
7m 29s
Deploy and Test on Windows x64 architecture
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Deploy and Test on Mac ARM64 architecture
Cache not found for keys: setup-java-macOS-arm64-sbt-a004f44693e2d932e8fc917cb7cb28e2b98f3779600a5fe6399470ba9a74e581
Deploy and Test on Linux ARM64 architecture
Cache not found for keys: setup-java-Linux-arm64-sbt-a004f44693e2d932e8fc917cb7cb28e2b98f3779600a5fe6399470ba9a74e581
Deploy and Test on Linux x64 architecture
Cache not found for keys: setup-java-Linux-x64-sbt-a004f44693e2d932e8fc917cb7cb28e2b98f3779600a5fe6399470ba9a74e581
Deploy and Test on Windows x64 architecture
Cache not found for keys: setup-java-Windows-x64-sbt-3b250a22812760b0b05edf3c9ad2a4f1bc2e069573f7cca08a8cc5a36c4d790e
Deploy and Test on Mac x64 architecture
Cache not found for keys: setup-java-macOS-x64-sbt-a004f44693e2d932e8fc917cb7cb28e2b98f3779600a5fe6399470ba9a74e581