Skip to content

Rename FeatureInEra to Eon #1464

Rename FeatureInEra to Eon

Rename FeatureInEra to Eon #1464

Triggered via pull request September 20, 2023 16:02
Status Success
Total duration 20s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check-cabal-files.yml

on: pull_request
check-cabal-files
10s
check-cabal-files
Fit to window
Zoom out
Zoom in