Skip to content

Actions: jcp19/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Verify core of Run method (#240) Run 'go test' #1: Commit 32c592e pushed by jcp19
February 4, 2024 15:18 58s master
master
February 4, 2024 15:18 58s
Verify core of Run method (#240) Verify bitwise operations in Dafny #1: Commit 32c592e pushed by jcp19
February 4, 2024 15:18 21s master
master
February 4, 2024 15:18 21s
Verify core of Run method (#240) Verify the router and its dependencies #1: Commit 32c592e pushed by jcp19
February 4, 2024 15:18 1h 34m 53s master
master
February 4, 2024 15:18 1h 34m 53s
Verify core of Run method (#240) .github/workflows/bors.yml #1: Commit 32c592e pushed by jcp19
February 4, 2024 15:18 Failure master
master
February 4, 2024 15:18 Failure