net: TCP correctness fixes — RST validation, FIN_WAIT_2 timeout, port… #396
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| push: | |
| branches: [develop] | |
| pull_request: | |
| branches: [develop] | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: ci-${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| env: | |
| CARGO_TERM_COLOR: always | |
| CARGO_INCREMENTAL: 0 | |
| CARGO_REGISTRIES_CRATES_IO_PROTOCOL: sparse | |
| jobs: | |
| ci: | |
| name: Build, Format & Test | |
| runs-on: blacksmith-4vcpu-ubuntu-2404 | |
| timeout-minutes: 30 | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Install just | |
| uses: extractions/setup-just@v2 | |
| - name: Setup Rust toolchain | |
| run: just setup | |
| - name: Check formatting | |
| run: just fmt | |
| - name: Install system dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y --no-install-recommends \ | |
| qemu-system-x86 \ | |
| xorriso \ | |
| e2fsprogs | |
| - name: Cache Rust artifacts | |
| uses: Swatinem/rust-cache@v2 | |
| with: | |
| workspaces: ". -> builddir/target" | |
| cache-directories: | | |
| third_party/limine | |
| third_party/ovmf | |
| cache-on-failure: true | |
| - name: Build kernel | |
| run: just build | |
| - name: Run tests | |
| run: | | |
| set -o pipefail | |
| just test 2>&1 | tee ci-test.log | |
| - name: Upload test log on failure | |
| if: failure() | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: ci-test-log | |
| path: ci-test.log |