Skip to content

Merge pull request #818 from IntersectMBO/clr/drepmetadata #246

Merge pull request #818 from IntersectMBO/clr/drepmetadata

Merge pull request #818 from IntersectMBO/clr/drepmetadata #246

Triggered via push July 19, 2024 14:37
Status Success
Total duration 1h 13m 40s
Artifacts 1

github-page.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Unexpected input(s) 'github_access_token', valid inputs are ['install_url', 'install_options', 'nix_path', 'extra_nix_config']

Artifacts

Produced during runtime
Name Size
haddocks Expired
15.5 MB