Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@german1608
Copy link
Contributor

Closes #64

The only warning we are getting is from the autogenerated files, as described on #64 (comment).

You can take a look at how does the action looks on my fork:

https://github.com/german1608/iris/actions/runs/3179426624/jobs/5181906133#step:10:1

@german1608 german1608 requested a review from chshersh as a code owner October 4, 2022 04:32
@german1608
Copy link
Contributor Author

@chshersh chshersh added CI ⚗️ dx Dev experience improvements hacktoberfest-accepted https://hacktoberfest.com/participation/ labels Oct 6, 2022
Copy link
Owner

@chshersh chshersh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fantastic!

I have a few further suggestions 🙂

Also, let's remove the .stan.toml file. It's not needed if it's empty. We can always create it later when we need some custom configuration 🙂

./hlint-${HLINT_VERSION}/hlint src/ test/
stan:
name: stan
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we add a GHC version to the name to quickly see what GHC is used?

Suggested change
name: stan
name: stan / ghc ${{ env.GHC_VERSION }}

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks like env is not accessible on jobs.<job_id>.name 😢

https://docs.github.com/en/actions/learn-github-actions/contexts#context-availability

Error on my fork: https://github.com/german1608/iris/actions/runs/3202338434/workflow

For now, we could hardwire the GHC version?

Copy link
Owner

@chshersh chshersh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see that CI is failing currently. Probably, only the name change is required to fix it. And it's good to go 🙂

@chshersh chshersh merged commit 139aa10 into chshersh:main Oct 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI ⚗️ dx Dev experience improvements hacktoberfest-accepted https://hacktoberfest.com/participation/

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Configure 'stan'

2 participants