diff options
author | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
commit | 9df5ff6abc6e95c766d1907c5a9fee00730e749a (patch) | |
tree | 8614095c2c2a3a5cd195f9e6da53f47c88891381 /.github/workflows/setup_aedifex | |
parent | 8ebc505f1be8e103039d220b2d824dd687777f24 (diff) |
Re-named ffi.as to "is", and ffi.check to "as", to line the names up with normal type-annotation macros.
Diffstat (limited to '')
-rw-r--r-- | .github/workflows/setup_aedifex/action.yml (renamed from .github/workflows/setup_aedifex.yml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.github/workflows/setup_aedifex.yml b/.github/workflows/setup_aedifex/action.yml index 5afa83812..5afa83812 100644 --- a/.github/workflows/setup_aedifex.yml +++ b/.github/workflows/setup_aedifex/action.yml |