Skip to content

Merge pull request #452 from IntersectMBO/jdral/rename-table-union #389

Merge pull request #452 from IntersectMBO/jdral/rename-table-union

Merge pull request #452 from IntersectMBO/jdral/rename-table-union #389

Triggered via push November 6, 2024 14:08
Status Success
Total duration 38m 39s
Artifacts 1
Build documentation
12m 11s
Build documentation
Deploy documentation to GitHub Pages
21s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
haddocks Expired
20.2 MB