kokomo123
|
2986dcc22c
github actions: update checkout actions to v4 (#870)
|
2 ماه پیش |
nodiscc
|
d157f626ce
tools: makefile/github actions: don't call make install target multiple times
|
1 سال پیش |
nodiscc
|
6ea9e4507f
finalize automation/CI workflows:
|
1 سال پیش |
nodiscc
|
423b418371
tools/github actions: fix concurrency between workflows
|
1 سال پیش |
nodiscc
|
696063534a
tools: github actions: job IDs may only contain alphanumeric characters, '_', and '-'.
|
1 سال پیش |
nodiscc
|
05ad5ea709
tools/github actions: set job names
|
1 سال پیش |
nodiscc
|
986e2dde55
tools/github actions: set workflow names
|
1 سال پیش |
nodiscc
|
083b9f0605
tools/github actions: separate workflows for pull requests and build from each commit on master
|
1 سال پیش |