Skip to content

expand backend definitions: commandLineFlags, scalaPostModule, scalaC… #35

expand backend definitions: commandLineFlags, scalaPostModule, scalaC…

expand backend definitions: commandLineFlags, scalaPostModule, scalaC… #35

Triggered via push November 22, 2023 13:02
Status Success
Total duration 1m 8s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

haskell.yml

on: push
agda2scala
58s
agda2scala
Fit to window
Zoom out
Zoom in