Merge pull request #93 from UT-Austin-RPL/discret_dist_type · UT-Austin-RPL/amago@1e3bfed

Triggered via push December 28, 2025 16:07

main

Status Success

Total duration 2m 49s

Artifacts 1

gh-pages.yml

on: push

Produced during runtime

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