Skip to content
Docker CI

Tutorial Equations: well-founded recursion (#8) #27

Sign in to view logs

Tutorial Equations: well-founded recursion (#8)

Tutorial Equations: well-founded recursion (#8) #27

Triggered via push June 21, 2024 12:14
@thomas-lamiauxthomas-lamiaux
pushed 0e881e9
main
Status Success
Total duration 2m 53s
Artifacts 1

docker-action.yml

on: push
build
2m 15s
build
deploy
20s
deploy
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build
Failed to remove 'http.https://github.com/.extraheader' from the git config
build
Command "Restart." is not recommended in batch mode. In particular,
build
Command "Restart." is not recommended in batch mode. In particular,
build
Command "Restart." is not recommended in batch mode. In particular,

Artifacts

Produced during runtime
Name Size
artifact Expired
58.2 MB