Skip to content
Triggers on push to tip

internal/core/(adt|subsume): pattern constraints are optional #4207

Sign in to view logs

internal/core/(adt|subsume): pattern constraints are optional

internal/core/(adt|subsume): pattern constraints are optional #4207

Triggered via push July 2, 2024 10:43
@cueckoocueckoo
pushed 1fd209e
master
Status Skipped
Total duration 2s
Artifacts –

tip_triggers.yml

on: push
push
0s
push
Fit to window
Zoom out
Zoom in