Skip to content

Merge pull request #935 from IntersectMBO/jordan/remove-unnecessary-e… #301

Merge pull request #935 from IntersectMBO/jordan/remove-unnecessary-e…

Merge pull request #935 from IntersectMBO/jordan/remove-unnecessary-e… #301

Triggered via push October 15, 2024 19:59
Status Success
Total duration 1h 10m 27s
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
13.5 MB