diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-01-19T17·57+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-01-20T07·40+0000 |
| commit | effcd31651c60e6bbd7db8e96a44d1278fa4bd39 (patch) | |
| tree | a050333eb8bb6ba5c9a6f9dcf7ded00094ee0a11 /users/wpcarro/scratch/picoctf/challenge_156.py | |
| parent | 0652ac0ace548ba6ea4b6b78fc7bbfee277ec5d0 (diff) | |
refactor: Replace 'meta.ci' -> 'meta.ci.skip' r/3638
We need 'meta.ci' to be an attribute set for new CI features. Change-Id: I83d04e2d74e42e49fe739b049ee4ba799f6d5d86 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5007 Tested-by: BuildkiteCI Reviewed-by: ezemtsov <eugene.zemtsov@gmail.com> Reviewed-by: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'users/wpcarro/scratch/picoctf/challenge_156.py')
0 files changed, 0 insertions, 0 deletions