Skip to content
CI

Allow infix fixpoints (e.g. a >> fixpoint("f") >> g) #305

Sign in to view logs

Allow infix fixpoints (e.g. a >> fixpoint("f") >> g)

Allow infix fixpoints (e.g. a >> fixpoint("f") >> g) #305

Triggered via pull request November 4, 2023 20:27
@wrsturgeonwrsturgeon
opened #45
shr-fixpoint
Status Success
Total duration 6m 41s
Artifacts –

ci.yml

on: pull_request
build
6m 32s
build
Fit to window
Zoom out
Zoom in