mirror of
https://github.com/VLSIDA/OpenRAM.git
synced 2026-08-29 09:30:38 +02:00
Remove tabs
This commit is contained in:
@@ -7,8 +7,8 @@ jobs:
|
||||
- name: Coverage cleanup
|
||||
run: |
|
||||
echo "Cleaning up previous run"
|
||||
echo "github.workspace = ${{ github.workspace }}"
|
||||
echo "GITHUB_WORKSPACE = $GITHUB_WORKSPACE"
|
||||
echo "github.workspace = ${{ github.workspace }}"
|
||||
echo "GITHUB_WORKSPACE = $GITHUB_WORKSPACE"
|
||||
rm -rf "${{ github.workspace }}"
|
||||
checkout_code:
|
||||
needs: [coverage_cleanup]
|
||||
|
||||
Reference in New Issue
Block a user