Skip to content
Check the Agda files

Merge pull request #78 from VariantSync/variant-map-to-variant-genera… #294

Sign in to view logs

Merge pull request #78 from VariantSync/variant-map-to-variant-genera…

Merge pull request #78 from VariantSync/variant-map-to-variant-genera… #294

Triggered via push November 26, 2024 09:37
@pmbittnerpmbittner
pushed f3b696e
main
Status Success
Total duration 5m 55s
Artifacts –

check.yml

on: push
build
5m 42s
build
Fit to window
Zoom out
Zoom in