Skip to content
Continuous Integration

[minor] Improve typechecking for pred/fun use, update Sterling (#299) #990

Sign in to view logs

[minor] Improve typechecking for pred/fun use, update Sterling (#299)

[minor] Improve typechecking for pred/fun use, update Sterling (#299) #990

Triggered via push February 19, 2025 20:46
@tnelsontnelson
pushed 0510258
dev
Status Success
Total duration 12m 20s
Artifacts –

continuousIntegration.yml

on: push
forge-tests
12m 10s
forge-tests
Fit to window
Zoom out
Zoom in