diff options
Diffstat (limited to 'docs/images')
| -rw-r--r-- | docs/images/ci_infra.png | bin | 123943 -> 0 bytes |
| -rw-r--r-- | docs/images/daily_job.png | bin | 11968 -> 0 bytes |
| -rw-r--r-- | docs/images/merge_job.png | bin | 28138 -> 0 bytes |
| -rw-r--r-- | docs/images/pipeline_overview.png | bin | 26210 -> 0 bytes |
| -rw-r--r-- | docs/images/verify_job.png | bin | 26956 -> 0 bytes |
5 files changed, 0 insertions, 0 deletions
diff --git a/docs/images/ci_infra.png b/docs/images/ci_infra.png Binary files differdeleted file mode 100644 index 53c329c..0000000 --- a/docs/images/ci_infra.png +++ /dev/null diff --git a/docs/images/daily_job.png b/docs/images/daily_job.png Binary files differdeleted file mode 100644 index 7386ec6..0000000 --- a/docs/images/daily_job.png +++ /dev/null diff --git a/docs/images/merge_job.png b/docs/images/merge_job.png Binary files differdeleted file mode 100644 index e48ecde..0000000 --- a/docs/images/merge_job.png +++ /dev/null diff --git a/docs/images/pipeline_overview.png b/docs/images/pipeline_overview.png Binary files differdeleted file mode 100644 index de1d4bf..0000000 --- a/docs/images/pipeline_overview.png +++ /dev/null diff --git a/docs/images/verify_job.png b/docs/images/verify_job.png Binary files differdeleted file mode 100644 index e5ab9db..0000000 --- a/docs/images/verify_job.png +++ /dev/null |
