Skip to content

Actions: pulseengine/wrt

Actions

Formal Verification with KANI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani-verification.yml
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formal Verification with KANI Formal Verification with KANI #118: Scheduled
50s main
main
50s
fix(runtime): add block stack popping to br_table instruction Formal Verification with KANI #117: Commit b1e3fd4 pushed by avrabe
1m 22s main
main
1m 22s
Formal Verification with KANI Formal Verification with KANI #116: Scheduled
48s main
main
48s
Formal Verification with KANI Formal Verification with KANI #115: Scheduled
55s main
main
55s
fix(wast): improve validator stack handling and add instruction coverage Formal Verification with KANI #114: Commit 320b7d7 pushed by avrabe
1m 14s main
main
1m 14s
build(deps): bump actions/download-artifact from 5 to 7 Formal Verification with KANI #113: Pull request #131 opened by dependabot bot
5m 8s dependabot/github_actions/actions/download-artifact-7
dependabot/github_actions/actions/download-artifact-7
5m 8s
build(deps): bump actions/upload-artifact from 4 to 6 Formal Verification with KANI #112: Pull request #130 opened by dependabot bot
4m 42s dependabot/github_actions/actions/upload-artifact-6
dependabot/github_actions/actions/upload-artifact-6
4m 42s
build(deps): bump actions/cache from 4 to 5 Formal Verification with KANI #111: Pull request #129 opened by dependabot bot
1m 12s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
1m 12s
Formal Verification with KANI Formal Verification with KANI #110: Scheduled
1m 13s main
main
1m 13s
Formal Verification with KANI Formal Verification with KANI #109: Scheduled
1m 0s main
main
1m 0s
docs: update READMEs to reflect current WASI Preview 2 status Formal Verification with KANI #108: Commit 3f7df52 pushed by avrabe
1m 48s main
main
1m 48s
Feature/static collections 118 Formal Verification with KANI #107: Pull request #122 synchronize by avrabe
1m 1s feature/static-collections-118
feature/static-collections-118
1m 1s
Feature/static collections 118 Formal Verification with KANI #106: Pull request #122 synchronize by avrabe
1m 21s feature/static-collections-118
feature/static-collections-118
1m 21s
Feature/static collections 118 Formal Verification with KANI #105: Pull request #122 synchronize by avrabe
1m 33s feature/static-collections-118
feature/static-collections-118
1m 33s
Feature/static collections 118 Formal Verification with KANI #104: Pull request #122 synchronize by avrabe
3m 56s feature/static-collections-118
feature/static-collections-118
3m 56s
Feature/static collections 118 Formal Verification with KANI #103: Pull request #122 synchronize by avrabe
2m 40s feature/static-collections-118
feature/static-collections-118
2m 40s
Formal Verification with KANI Formal Verification with KANI #102: Scheduled
50s main
main
50s
Feature/static collections 118 Formal Verification with KANI #101: Pull request #122 synchronize by avrabe
1m 20s feature/static-collections-118
feature/static-collections-118
1m 20s
build(deps): bump actions/checkout from 5 to 6 Formal Verification with KANI #100: Pull request #126 opened by dependabot bot
1m 29s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1m 29s
Formal Verification with KANI Formal Verification with KANI #99: Scheduled
57s main
main
57s
Feature/static collections 118 Formal Verification with KANI #98: Pull request #122 synchronize by avrabe
1m 30s feature/static-collections-118
feature/static-collections-118
1m 30s
Formal Verification with KANI Formal Verification with KANI #97: Scheduled
1m 10s main
main
1m 10s
Formal Verification with KANI Formal Verification with KANI #96: Scheduled
1m 59s main
main
1m 59s
Formal Verification with KANI Formal Verification with KANI #95: Scheduled
58s main
main
58s
build(deps): bump actions/upload-artifact from 4 to 5 Formal Verification with KANI #94: Pull request #125 opened by dependabot bot
2m 21s dependabot/github_actions/actions/upload-artifact-5
dependabot/github_actions/actions/upload-artifact-5
2m 21s