Docker CI

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

Triggered via push February 18, 2025 13:13

mattam82

main

Status Success

Total duration 3m 1s

Artifacts 2

docker-action.yml

on: push

1 warning

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

Produced during runtime

Name	Size
artifact	58.1 MB
github-pages Expired	56.8 MB