Skip to content

Symetric, transitive and reflexive equality for intersection types #30013

Symetric, transitive and reflexive equality for intersection types

Symetric, transitive and reflexive equality for intersection types #30013

Annotations

1 warning

Test Formatting

succeeded Dec 20, 2024 in 1m 58s
Set up job
1s
Run actions/checkout@v2
3s
Setup GraalVM Environment
7s
Set Up SBT
2s
Check Code Formatting
1m 42s
Post Setup GraalVM Environment
0s
Post Run actions/checkout@v2
0s
Complete job
0s