Andrea Luzzardi
|
162949d87d
|
ci: lint dagger using dagger
- `Makefile` now uses `dagger do lint` to lint
- GHA uses dagger to lint
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
|
2022-04-06 18:42:18 -07:00 |
|
Andrea Luzzardi
|
8d7d808024
|
temporarily disable the platform field.
Need some more time to figure out the correct API.
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
|
2022-04-05 12:13:33 -07:00 |
|
Andrea Luzzardi
|
93d2224073
|
ci: move ci infra top-level
Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>
|
2022-04-04 18:06:54 -07:00 |
|