Skip to content
Docker CI

purge NPeano in favor of PeanoNat #11

Sign in to view logs

purge NPeano in favor of PeanoNat

purge NPeano in favor of PeanoNat #11

Triggered via pull request October 15, 2023 16:59
@palmskogpalmskog
opened #141
purge-npeano
Status Success
Total duration 4m 32s
Artifacts –

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in