Skip to content

Actions: viperproject/mendel-verifier

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
28 workflow run results
28 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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