Skip to content

move MapType boxing to AlgebraicType (#388) #353

move MapType boxing to AlgebraicType (#388)

move MapType boxing to AlgebraicType (#388) #353

Triggered via push October 9, 2023 16:15
Status Success
Total duration 14m 48s
Artifacts

docker.yml

on: push
Build DockerHub Container
2m 40s
Build DockerHub Container
Build DockerHub Container
6m 27s
Build DockerHub Container
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Build DockerHub Container
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Build DockerHub Container
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/