Skip to content

Merge pull request #17 from flipt-io/edit-makefile #8

Merge pull request #17 from flipt-io/edit-makefile

Merge pull request #17 from flipt-io/edit-makefile #8

Triggered via push December 1, 2023 03:38
Status Success
Total duration 36s
Artifacts

lint.yml

on: push
Lint Python
25s
Lint Python
Lint Typescript
19s
Lint Typescript
Fit to window
Zoom out
Zoom in