MicroDev f0e7e3115a

refactor how base and head commit are set ...

- avoid `github.event.after` as it isn't available during initial CI run of the PR

2023-01-07 21:03:16 +05:30

..

build.yml

refactor how base and head commit are set

2023-01-07 21:03:16 +05:30

create_website_pr.yml

return to using python 3.x for builds

2022-11-13 09:26:49 -06:00

match-build-fail.json

Match build failures to better highlight them

2021-04-14 11:52:00 -07:00

notify.yml

Create notify.yml

2021-12-09 10:51:04 -08:00

ports_windows.yml

update to newer actions

2022-10-11 10:45:22 +05:30

pre-commit.yml

return to using python 3.x for builds

2022-11-13 09:26:49 -06:00