Skip to content

Add seshat:fold/3 to fold over all ids in a group #148

Add seshat:fold/3 to fold over all ids in a group

Add seshat:fold/3 to fold over all ids in a group #148

Triggered via pull request December 17, 2025 21:34
Status Success
Total duration 47s
Artifacts

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in