Skip to content

Read a Polygonal domain from Ipe (#260) #651

Read a Polygonal domain from Ipe (#260)

Read a Polygonal domain from Ipe (#260) #651

GH-Pages - Linux - ghc-9.10.1

succeeded Dec 22, 2024 in 15m 11s
Set up job
2s
Set environment variables
0s
env
0s
Run actions/checkout@v3
2s
Setup toolchain
2s
restore cache
6s
build
5m 27s
haddock
6m 56s
copy-to-pages
1s
Deploy 🚀
14s
save cache
2m 19s
Post Run actions/checkout@v3
0s
Complete job
0s