ci: merge workflow jobs and add makefile

This commit is contained in:
Steven Arcangeli 2023-09-02 08:44:56 -07:00
parent 7033d52db0
commit ca2560cae8
12 changed files with 86 additions and 51 deletions

View file

@ -3,11 +3,11 @@
--------------------------------------------------------------------------------
CONTENTS *oil-contents*
1. Options.....................................................|oil-options|
2. Api.............................................................|oil-api|
3. Columns.....................................................|oil-columns|
4. Actions.....................................................|oil-actions|
5. Highlights...............................................|oil-highlights|
1. Options |oil-options|
2. Api |oil-api|
3. Columns |oil-columns|
4. Actions |oil-actions|
5. Highlights |oil-highlights|
--------------------------------------------------------------------------------
OPTIONS *oil-options*