Skip to content

Rename and expand Assoc4 reasoning combinators #414

Rename and expand Assoc4 reasoning combinators

Rename and expand Assoc4 reasoning combinators #414

Triggered via pull request March 14, 2024 09:40
Status Success
Total duration 16m 33s
Artifacts

ci-ubuntu.yml

on: pull_request
Fit to window
Zoom out
Zoom in