update terms and theorems with new mappings #101
Triggered via pull request
February 19, 2025 13:34
fblanqui
Status
Cancelled
Total duration
1m 44s
Artifacts
–
Annotations
6 errors
|
build (dev)
The run was canceled by @fblanqui.
|
|
build (dev)
The operation was canceled.
|
|
build (8.20)
The run was canceled by @fblanqui.
|
|
build (8.20)
The operation was canceled.
|
|
build (8.19)
The run was canceled by @fblanqui.
|
|
build (8.19)
The operation was canceled.
|