Skip to content
Test CLI Launchers on all the platforms

Widen skolem types when adding parent refinements #114

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #114

Triggered via pull request January 31, 2025 13:29
@KacperFKorbanKacperFKorban
opened #22488
dotty-staging:fix-i22456
Status Success
Total duration 17m 6s
Artifacts –

test-launchers.yml

on: pull_request
Deploy and Test on Linux x64 architecture
5m 21s
Deploy and Test on Linux x64 architecture
Deploy and Test on Linux ARM64 architecture
4m 56s
Deploy and Test on Linux ARM64 architecture
Deploy and Test on Mac x64 architecture
8m 23s
Deploy and Test on Mac x64 architecture
Deploy and Test on Mac ARM64 architecture
5m 48s
Deploy and Test on Mac ARM64 architecture
Deploy and Test on Windows x64 architecture
7m 5s
Deploy and Test on Windows x64 architecture
Fit to window
Zoom out
Zoom in