Skip to content

Tutorial Equations: well-founded recursion #25

Tutorial Equations: well-founded recursion

Tutorial Equations: well-founded recursion #25

Triggered via pull request June 21, 2024 12:04
Status Success
Total duration 2m 27s
Artifacts 1

docker-action.yml

on: pull_request
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