Merge pull request #94 from UT-Austin-RPL/discret_dist_type · UT-Austin-RPL/amago@274278d

Triggered via push January 21, 2026 07:19

main

Status Success

Total duration 2m 34s

Artifacts 1

gh-pages.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	28.2 MB	`sha256:ed924e531c20da341abc4a517c5468f1938cde76b4883463e896002358dd1e55`