Skip to content

Actions: celinval/kani-dev

Actions

Kani Performance Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not run benchcomp in every PR Kani Performance Benchmarks #11: Pull request #5 labeled by celinval
July 14, 2023 20:13 1m 46s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 20:13 1m 46s
Do not run benchcomp in every PR Kani Performance Benchmarks #10: Commit 9872fc5 pushed by celinval
July 14, 2023 20:13 54s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 20:13 54s
Do not run benchcomp in every PR Kani Performance Benchmarks #9: Pull request #5 labeled by celinval
July 14, 2023 20:04 11s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 20:04 11s
Do not run benchcomp in every PR Kani Performance Benchmarks #8: Commit 35b1c45 pushed by celinval
July 14, 2023 20:02 11m 31s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 20:02 11m 31s
Do not run benchcomp in every PR Kani Performance Benchmarks #7: Pull request #5 labeled by celinval
July 14, 2023 20:00 3m 6s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 20:00 3m 6s
Do not run benchcomp in every PR Kani Performance Benchmarks #6: Commit 57def09 pushed by celinval
July 14, 2023 19:58 1m 8s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 19:58 1m 8s
Do not run benchcomp in every PR Kani Performance Benchmarks #5: Commit 373e0fc pushed by celinval
July 14, 2023 19:56 Failure issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 19:56 Failure
Do not run benchcomp in every PR Kani Performance Benchmarks #4: Commit 4762553 pushed by celinval
July 14, 2023 19:54 Failure issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 19:54 Failure
Do not run benchcomp in every PR Kani Performance Benchmarks #3: Pull request #5 labeled by celinval
July 14, 2023 19:51 2s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 19:51 2s
Do not run benchcomp in every PR Kani Performance Benchmarks #2: Pull request #5 labeled by celinval
July 14, 2023 19:47 1s issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 19:47 1s
Do not run benchcomp in every PR Kani Performance Benchmarks #1: Commit f82debb pushed by celinval
July 14, 2023 19:19 Failure issue-xxxx-bench-ci
issue-xxxx-bench-ci
July 14, 2023 19:19 Failure