Skip to content

Merge pull request #884 from IntersectMBO/drepupdatecert #274

Merge pull request #884 from IntersectMBO/drepupdatecert

Merge pull request #884 from IntersectMBO/drepupdatecert #274

Triggered via push September 6, 2024 12:58
Status Success
Total duration 1h 12m 6s
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