Actions: agda/cubical
Actions
Showing runs from all workflows
709 workflow runs
709 workflow runs
Embedding-into-hLevel→hLevel
(#1107)
Ubuntu build
#2492:
Commit 7549445
pushed
by
felixwellen