Skip to content

Actions: viperproject/mendel-verifier

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

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