-
Notifications
You must be signed in to change notification settings - Fork 140
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Refactor GraphQL Queries to use GitLab's 'glab
- Loading branch information
Showing
69 changed files
with
4,218 additions
and
512 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
build: | ||
rm -rf lua/* | ||
tl build | ||
rsync -zarv --include="*/" --include="*.lua" --exclude="*" "src/" "lua/" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,17 @@ | ||
local record Job | ||
command: string | ||
args: {string} | ||
cwd: string | ||
enable_recording: boolean -- TODO: From the plenary source code there is no 'enable_recording' only 'enabled_recording'! | ||
env: {string:any} -- NOTE: This may be also an array! | ||
|
||
new: function(self: Job, o: Job): Job | ||
sync: function(self: Job, timeout: integer, wait_interval: integer): Job | ||
start: function(self: Job) | ||
stderr_result: function(self: Job): {string} | ||
result: function(self: Job): {string} | ||
|
||
on_exit: function(self: Job, code: number, signal: number) | ||
end | ||
|
||
return Job |
This file was deleted.
Oops, something went wrong.
File renamed without changes.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
local record M | ||
-- TODO: Migrate | ||
end | ||
|
||
return M |
File renamed without changes.
Oops, something went wrong.