Skip to content
Java CI

FoldRight fixes for Monoid/Semigroup #128

Sign in to view logs

FoldRight fixes for Monoid/Semigroup

FoldRight fixes for Monoid/Semigroup #128

Triggered via pull request April 21, 2023 02:44
@7h3kk1d7h3kk1d
opened #128
7h3kk1d:foldright-semigroup-fix
Status Success
Total duration 3m 42s
Artifacts –

maven.yml

on: pull_request
build-java-1_8
3m 28s
build-java-1_8
build-java-11
2m 22s
build-java-11
build-java-14
2m 21s
build-java-14
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build-java-11
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/setup-java@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
build-java-14
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/setup-java@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
build-java-1_8
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/setup-java@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.