workflows

Oct 21, 2023

29e24c8 · Oct 21, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
scripts	scripts	update github workflows	Sep 22, 2023
build_app.yml	build_app.yml	github: show build notes in run name	Oct 2, 2023
ci.yml	ci.yml	do not try to build dependabot PRs	Oct 21, 2023
lint.yml	lint.yml	update github workflows	Sep 22, 2023
pr_greetings.yml	pr_greetings.yml	do not try to build dependabot PRs	Oct 21, 2023

Provide feedback