Skip to content
CI

Merge pull request #3329 from proux01/dune-upper-bound-docker #1695

Sign in to view logs

Merge pull request #3329 from proux01/dune-upper-bound-docker

Merge pull request #3329 from proux01/dune-upper-bound-docker #1695

Triggered via push February 4, 2025 13:41
@proux01proux01
pushed 4bd3d2e
master
Status Success
Total duration 3m 10s
Artifacts 1

ci.yml

on: push
build
1m 30s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.73 MB