Skip to content
Docker CI

Tutorial Equations: index inductive types (#75) #149

Sign in to view logs

Tutorial Equations: index inductive types (#75)

Tutorial Equations: index inductive types (#75) #149

Triggered via push February 18, 2025 13:13
@mattam82mattam82
pushed 946be8a
main
Status Success
Total duration 3m 1s
Artifacts 2

docker-action.yml

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

Annotations

1 warning
build
Failed to remove 'http.https://github.com/.extraheader' from the git config

Artifacts

Produced during runtime
Name Size Digest
artifact
58.1 MB
sha256:b04243f9d17561f398cc2074d25266f2b587b0ea780ce133ca0341794fc275d2
github-pages Expired
56.8 MB
sha256:788d364cb3b03b6e0c42cf49103f3d70181f6692fc2fe82d42ddacb1f728f013