Skip to content

Collect exports directly from the Typedtree.structure on .cmt without .cmti #172

Collect exports directly from the Typedtree.structure on .cmt without .cmti

Collect exports directly from the Typedtree.structure on .cmt without .cmti #172

Triggered via pull request August 10, 2026 13:50
Status Success
Total duration 9m 14s
Artifacts

workflow.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 3 notices
build (macos-latest)
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
lint-doc
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100
build (ubuntu-latest)
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100
lint-opam
System package installation failed. Re-synchronizing package index files and retrying installation. Error details: the process '/usr/bin/sudo' failed with exit code 100