Skip to content

Actions: fdilke/bewl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rationalized directories/documentation
Update Dependency Graph #61: Commit 8b317dc pushed by fdilke
11s master
chains can only contain known arrows
Update Dependency Graph #60: Commit cbc6555 pushed by fdilke
12s master
modelling the retraction category
Update Dependency Graph #59: Commit 8b3d097 pushed by fdilke
11s master
beginnings of having composition laws
Update Dependency Graph #58: Commit b44597a pushed by fdilke
12s master
verifying arrow sources/targets
Update Dependency Graph #57: Commit fab96a1 pushed by fdilke
13s master
initial FiniteCategory code
Update Dependency Graph #56: Commit 515a63d pushed by fdilke
10s master
sorted out use of SetsWithSlowActions
Update Dependency Graph #55: Commit 4fa6be9 pushed by fdilke
11s master
nonsense about CRLFs
Update Dependency Graph #54: Commit 984900a pushed by fdilke
12s master