Swap two given definitions to satisfy new restriction #11

Sign in to view logs

Triggered via push December 19, 2023 12:37

odersky

swap-givens

Status Success

Total duration 13s

Artifacts –

clean.yml

on: push

Delete Artifacts