Skip to content

Merge pull request #4625 from igstan/igstan/semigroup-object-additions #2898

Merge pull request #4625 from igstan/igstan/semigroup-object-additions

Merge pull request #4625 from igstan/igstan/semigroup-object-additions #2898

Re-run triggered December 24, 2024 22:05
Status Success
Total duration 29m 2s
Artifacts

ci.yml

on: push
Matrix: Build and Test
Matrix: Submit Dependencies
Matrix: Scalafix
Matrix: Generate Site
Matrix: Validate Steward Config
Matrix: Publish Artifacts
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
Generate Site (ubuntu-latest, temurin@17)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Submit Dependencies (ubuntu-latest, temurin@8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Validate Steward Config (ubuntu-latest, temurin@11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Scalafix (ubuntu-latest, temurin@8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.13, graalvm@21, catsJVM)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.13, temurin@17, catsJVM)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.13, temurin@8, catsJVM)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.12, temurin@8, catsJVM)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.13, temurin@8, catsJS)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.12, temurin@8, catsJS)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 3, temurin@8, catsJVM)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 3, temurin@8, catsJS)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.12, temurin@8, catsNative)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 2.13, temurin@8, catsNative)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build and Test (ubuntu-latest, 3, temurin@8, catsNative)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Publish Artifacts (ubuntu-latest, temurin@8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636