Skip to content
Prettify Code

Autogenerate decidable equality #157

Sign in to view logs

Autogenerate decidable equality

Autogenerate decidable equality #157

Triggered via push November 26, 2023 08:37
@huynhtrankhanhhuynhtrankhanh
pushed e44a8fa
main
Status Success
Total duration 16s
Artifacts –

prettier.yml

on: push
prettify
9s
prettify
Fit to window
Zoom out
Zoom in