ci

feat: use .bashrc instead of .bash_profile #418

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spell-check / build	7s
integration_tests	22s
build / build	19s
semantic_pull_request / build	5s
pana_score / build	2m 25s
	3m 18s