Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.

Actions: mlimbeck/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

missing trigger Verify bitwise operations in Dafny #21: Commit 4343478 pushed by mlimbeck
November 16, 2023 11:09 31s master
master
November 16, 2023 11:09 31s
missing trigger Run 'go test' #21: Commit 4343478 pushed by mlimbeck
November 16, 2023 11:09 54s master
master
November 16, 2023 11:09 54s
missing trigger .github/workflows/bors.yml #58: Commit 4343478 pushed by mlimbeck
November 16, 2023 11:09 Failure master
master
November 16, 2023 11:09 Failure
extract asid-seqence from raw pkt Run 'go test' #20: Commit f1cf0b1 pushed by mlimbeck
November 16, 2023 10:51 55s master
master
November 16, 2023 10:51 55s
extract asid-seqence from raw pkt Verify the router and its dependencies #20: Commit f1cf0b1 pushed by mlimbeck
November 16, 2023 10:51 10m 57s master
master
November 16, 2023 10:51 10m 57s
extract asid-seqence from raw pkt Verify bitwise operations in Dafny #20: Commit f1cf0b1 pushed by mlimbeck
November 16, 2023 10:51 22s master
master
November 16, 2023 10:51 22s
extract asid-seqence from raw pkt .github/workflows/bors.yml #57: Commit f1cf0b1 pushed by mlimbeck
November 16, 2023 10:51 Failure master
master
November 16, 2023 10:51 Failure
precondition for link_type function .github/workflows/bors.yml #56: Commit 59d3019 pushed by mlimbeck
November 15, 2023 16:13 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 15, 2023 16:13 Failure
Update verification/io/io-spec.gobra .github/workflows/bors.yml #55: Commit 6bf4081 pushed by jcp19
November 15, 2023 15:15 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 15, 2023 15:15 Failure
renaming core and asid function .github/workflows/bors.yml #54: Commit 6be6ae6 pushed by mlimbeck
November 14, 2023 21:07 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 14, 2023 21:07 Failure
adding missing comment .github/workflows/bors.yml #53: Commit 193add2 pushed by mlimbeck
November 14, 2023 20:41 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 14, 2023 20:41 Failure
minor improvements .github/workflows/bors.yml #52: Commit 4c87477 pushed by mlimbeck
November 14, 2023 20:38 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 14, 2023 20:38 Failure
minor improvements .github/workflows/bors.yml #51: Commit 0203251 pushed by mlimbeck
November 14, 2023 16:06 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 14, 2023 16:06 Failure
Apply suggestions from code review .github/workflows/bors.yml #50: Commit dc6f540 pushed by mlimbeck
November 14, 2023 13:38 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 14, 2023 13:38 Failure
Merge branch 'master' into instantiate-IO-Spec-functions .github/workflows/bors.yml #49: Commit d1a45a2 pushed by jcp19
November 9, 2023 09:23 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 9, 2023 09:23 Failure
concretize dp3s_forward_ext .github/workflows/bors.yml #48: Commit 33cb8d5 pushed by mlimbeck
November 1, 2023 12:52 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
November 1, 2023 12:52 Failure
IO-spec fix .github/workflows/bors.yml #47: Commit a0b37b6 pushed by mlimbeck
October 18, 2023 22:22 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
October 18, 2023 22:22 Failure
merge problems fix .github/workflows/bors.yml #46: Commit e4be0b8 pushed by mlimbeck
October 18, 2023 19:44 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
October 18, 2023 19:44 Failure
Merge remote-tracking branch 'remotescion/master' into instantiate-IO… .github/workflows/bors.yml #45: Commit 11ca307 pushed by mlimbeck
October 18, 2023 19:24 Failure instantiate-IO-Spec-functions
instantiate-IO-Spec-functions
October 18, 2023 19:24 Failure
adding concurrency model .github/workflows/bors.yml #44: Commit 57901aa pushed by mlimbeck
October 18, 2023 18:28 Failure concurrency-model
concurrency-model
October 18, 2023 18:28 Failure
Merge branch 'master' into rewrite-IO-spec .github/workflows/bors.yml #43: Commit a8c9db9 pushed by jcp19
October 18, 2023 15:56 Failure rewrite-IO-spec
rewrite-IO-spec
October 18, 2023 15:56 Failure
guards require correct type .github/workflows/bors.yml #42: Commit 8586dc8 pushed by mlimbeck
October 18, 2023 13:45 Failure rewrite-IO-spec
rewrite-IO-spec
October 18, 2023 13:45 Failure
cosmetic changes .github/workflows/bors.yml #41: Commit b9f8ba4 pushed by mlimbeck
October 18, 2023 12:30 Failure rewrite-IO-spec
rewrite-IO-spec
October 18, 2023 12:30 Failure
fix comment .github/workflows/bors.yml #40: Commit 0116bce pushed by mlimbeck
October 18, 2023 10:50 Failure rewrite-IO-spec
rewrite-IO-spec
October 18, 2023 10:50 Failure
cosmetic changes .github/workflows/bors.yml #39: Commit 5728d2b pushed by mlimbeck
October 18, 2023 10:45 Failure rewrite-IO-spec
rewrite-IO-spec
October 18, 2023 10:45 Failure