Commit graph

5 commits

Author SHA1 Message Date
a10b8875d9
run CI on pushes to main
Since PRs seem to be much rarer than pushes to main, it makes more sense
to do it this way. Perhaps in the future, it would make sense to run it on
all pushes, but the question would be how PRs are handled.
2023-05-07 15:26:14 +02:00
bd11b9d818
Revert "ci: combine install and lint/build tasks"
This reverts commit 759d031a5f.

This was originally to solve some issues with builds during the
workspace refactor in FoundKeyGang/FoundKey#86
but this didn't end up being the root cause, so it may actually be
better to split these tasks again.
2022-09-07 14:02:45 -04:00
759d031a5f
ci: combine install and lint/build tasks 2022-08-26 15:50:20 -04:00
b3548cf9a0
fix typo in ci 2022-08-26 15:33:39 -04:00
d8fd6d55ed
ci: add lint for foundkey-js 2022-08-26 15:06:45 -04:00