Docker CI

Tutorial Equations: index inductive types #135

Triggered via pull request February 9, 2025 05:44

mattam82

opened #75

Status Success

Total duration 2m 32s

Artifacts 1

docker-action.yml

on: pull_request

1 warning

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

Produced during runtime

Name	Size
artifact	58.1 MB