Skip to content

Actions: viperproject/mendel-verifier

Actions

Test coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from sarsko/patch-1 Test coverage #33: Commit f06aadf pushed by fpoli
July 16, 2024 14:57 37m 15s master
master
July 16, 2024 14:57 37m 15s
Delete unused tests Test coverage #32: Commit 2c7dc49 pushed by fpoli
March 26, 2024 14:24 30m 9s master
master
March 26, 2024 14:24 30m 9s
Update Codecov workflow action Test coverage #31: Commit 63d1ce1 pushed by fpoli
March 26, 2024 14:24 30m 19s master
master
March 26, 2024 14:24 30m 19s
Skip a test on macOS due to unreliable MIR Test coverage #30: Commit 89bb796 pushed by fpoli
March 26, 2024 12:33 30m 24s master
master
March 26, 2024 12:33 30m 24s
Fix Boogie path on Windows Test coverage #29: Commit 41cf048 pushed by fpoli
March 26, 2024 11:25 30m 24s master
master
March 26, 2024 11:25 30m 24s
Skip a test on macOS due to unreliable MIR Test coverage #28: Commit 3822e5c pushed by fpoli
March 26, 2024 11:13 29m 21s master
master
March 26, 2024 11:13 29m 21s
Skip a test on macOS due to unreliable MIR Test coverage #27: Commit aeb994c pushed by fpoli
March 26, 2024 10:12 29m 11s master
master
March 26, 2024 10:12 29m 11s
Skip a test on macOS due to unreliable MIR Test coverage #26: Commit f63a3aa pushed by fpoli
March 26, 2024 09:27 5m 31s master
master
March 26, 2024 09:27 5m 31s
Generate paths as raw string literals Test coverage #25: Commit 1cd9d0f pushed by fpoli
March 26, 2024 08:49 13m 1s master
master
March 26, 2024 08:49 13m 1s
Generate paths as raw string literals Test coverage #24: Commit b8d1438 pushed by fpoli
March 26, 2024 08:28 13m 0s master
master
March 26, 2024 08:28 13m 0s
Escape forward slashes in paths for Windows Test coverage #23: Commit ddca4b4 pushed by fpoli
March 25, 2024 17:14 13m 26s master
master
March 25, 2024 17:14 13m 26s
Escape forward slashes in paths for Windows Test coverage #22: Commit b9d6d81 pushed by fpoli
March 25, 2024 17:10 2m 10s master
master
March 25, 2024 17:10 2m 10s
Escape forward slashes in paths for Windows Test coverage #21: Commit 65212fd pushed by fpoli
March 25, 2024 16:57 12m 46s master
master
March 25, 2024 16:57 12m 46s
Escape forward slashes in paths for Windows Test coverage #20: Commit b8703c0 pushed by fpoli
March 25, 2024 16:48 13m 49s master
master
March 25, 2024 16:48 13m 49s
Skip checking workflow with cargo-hack Test coverage #19: Commit 0e62e95 pushed by fpoli
March 25, 2024 16:32 12m 27s master
master
March 25, 2024 16:32 12m 27s
Skip checking workflow with cargo-hack Test coverage #18: Commit 59d14ef pushed by fpoli
March 25, 2024 16:19 12m 22s master
master
March 25, 2024 16:19 12m 22s
Port changes from Prusti Test coverage #17: Commit da8ae1d pushed by fpoli
March 25, 2024 16:10 11m 49s master
master
March 25, 2024 16:10 11m 49s
Port changes from Prusti Test coverage #16: Commit f38ec40 pushed by fpoli
March 25, 2024 15:55 12m 46s master
master
March 25, 2024 15:55 12m 46s
Port some changes from Prusti Test coverage #15: Commit 170821b pushed by fpoli
March 25, 2024 15:52 12m 43s master
master
March 25, 2024 15:52 12m 43s
Fix encoding of signed integer divisions Test coverage #14: Commit feb964d pushed by fpoli
March 25, 2024 14:54 12m 33s master
master
March 25, 2024 14:54 12m 33s
Fix encoding of signed integer divisions Test coverage #13: Commit 42e91b3 pushed by fpoli
March 25, 2024 14:53 12m 53s master
master
March 25, 2024 14:53 12m 53s
Fix encoding of signed integer divisions Test coverage #12: Commit 063543d pushed by fpoli
March 25, 2024 14:47 12m 47s master
master
March 25, 2024 14:47 12m 47s
Fix encoding of signed integer divisions Test coverage #11: Commit 6cc13ec pushed by fpoli
March 25, 2024 14:35 12m 33s master
master
March 25, 2024 14:35 12m 33s
Downgrade cargo-hack Test coverage #10: Commit 2c82f4d pushed by fpoli
March 25, 2024 13:11 12m 39s master
master
March 25, 2024 13:11 12m 39s
Downgrade cargo-hack Test coverage #9: Commit fa9d262 pushed by fpoli
March 25, 2024 12:41 12m 33s master
master
March 25, 2024 12:41 12m 33s