Skip to content
Infra CI

Use Ubuntu:22.04 as base image instead of lampepfl/dotty #320

Sign in to view logs

Use Ubuntu:22.04 as base image instead of lampepfl/dotty

Use Ubuntu:22.04 as base image instead of lampepfl/dotty #320

Triggered via pull request July 6, 2023 12:28
@WojciechMazurWojciechMazur
opened #176
WojciechMazur:builds/base
Status Success
Total duration 17m 30s
Artifacts –

ci.yaml

on: pull_request
test-build
17m 20s
test-build
test-cli
12m 20s
test-cli
Fit to window
Zoom out
Zoom in