Disable too long binaryedge

This commit is contained in:
2023-08-10 21:21:35 +02:00
parent e95b23037e
commit bb736687fd

View File

@ -19,8 +19,8 @@ jobs:
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v3
- name: Build the binaryedge list #- name: Build the binaryedge list
run: ./make-binaryedge.sh # run: ./make-binaryedge.sh
- name: Build the stretchoid list - name: Build the stretchoid list
run: ./make-stretchoid.sh run: ./make-stretchoid.sh
- name: Post the summary - name: Post the summary