Skip to content

Actions: vmordan/cvv

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add newline for error traces Deploy #34: Commit 523449d pushed by vmordan
July 23, 2024 20:09 57s master
master
July 23, 2024 20:09 57s
Update MEA filters Deploy #33: Commit d1c9d7b pushed by vmordan
July 3, 2024 05:49 53s master
master
July 3, 2024 05:49 53s
Fix error with delete rott report for comment Deploy #32: Commit 073b047 pushed by vmordan
June 28, 2024 07:57 53s master
master
June 28, 2024 07:57 53s
Show level 2 notes without opening corresponding scope Deploy #31: Commit d755920 pushed by vmordan
March 14, 2024 03:16 1m 1s workaround_for_hide_false
workaround_for_hide_false
March 14, 2024 03:16 1m 1s
Show notes only with level=2 due to hide=false bug Deploy #30: Commit 8a1aeb1 pushed by vmordan
March 13, 2024 15:44 55s workaround_for_hide_false
workaround_for_hide_false
March 13, 2024 15:44 55s
Support env comments with relevant tag (#5) Deploy #29: Commit 736e0cf pushed by vmordan
March 9, 2024 04:32 55s master
master
March 9, 2024 04:32 55s
Fix condition for source files processing for non CPAchecker proofs Deploy #28: Commit 8183e2c pushed by vmordan
December 16, 2023 15:40 1m 7s master
master
December 16, 2023 15:40 1m 7s
Improve Unsafes list table Deploy #27: Commit a500d52 pushed by vmordan
December 13, 2023 13:49 56s master
master
December 13, 2023 13:49 56s
Add reviewed flag for marks Deploy #26: Commit c98060d pushed by vmordan
December 1, 2023 14:21 56s master
master
December 1, 2023 14:21 56s
Allow to clean table with user reviews Deploy #25: Commit 345135b pushed by vmordan
December 1, 2023 12:38 57s marks_reviews
marks_reviews
December 1, 2023 12:38 57s
Add link to the specific error trace in comments Deploy #24: Commit 1f2bd26 pushed by vmordan
November 29, 2023 15:00 1m 35s master
master
November 29, 2023 15:00 1m 35s
Allow to redirect to another host:port in comparison data Deploy #23: Commit 0dd93c5 pushed by vmordan
November 21, 2023 07:20 53s master
master
November 21, 2023 07:20 53s
Add page for marks comments Deploy #22: Commit fe0da6a pushed by vmordan
November 21, 2023 06:55 58s master
master
November 21, 2023 06:55 58s
Small fixes Deploy #21: Commit 40881d3 pushed by vmordan
November 21, 2023 06:54 53s comments_page
comments_page
November 21, 2023 06:54 53s
Add page for marks comments Deploy #20: Commit 3c26106 pushed by vmordan
November 21, 2023 06:43 53s comments_page
comments_page
November 21, 2023 06:43 53s
Introduce comments for marks (#1) Deploy #19: Commit afc0654 pushed by vmordan
November 17, 2023 14:05 52s master
master
November 17, 2023 14:05 52s
Introduce comments for marks Deploy #18: Commit 1b3fde8 pushed by vmordan
November 17, 2023 14:03 56s marks_comments
marks_comments
November 17, 2023 14:03 56s
Fix urls for https Deploy #17: Commit fc56fb0 pushed by vmordan
November 17, 2023 12:29 1m 13s master
master
November 17, 2023 12:29 1m 13s
Add +x flag to script Deploy #16: Commit 1adc28d pushed by vmordan
October 26, 2023 18:08 1m 23s master
master
October 26, 2023 18:08 1m 23s
Specify old and new reports on comparison page Deploy #15: Commit b13c01d pushed by vmordan
October 26, 2023 16:22 1m 14s master
master
October 26, 2023 16:22 1m 14s
Add script for getting comparison data Deploy #14: Commit 1ebadee pushed by vmordan
October 25, 2023 16:09 1m 19s master
master
October 25, 2023 16:09 1m 19s
Impove attributes display Deploy #13: Commit 829d530 pushed by vmordan
October 2, 2023 05:19 1m 19s master
master
October 2, 2023 05:19 1m 19s
Rename button to Close Deploy #12: Commit 5547828 pushed by vmordan
September 27, 2023 11:08 1m 4s master
master
September 27, 2023 11:08 1m 4s
Improve verifier options display Deploy #11: Commit 4f6797a pushed by vmordan
September 27, 2023 10:59 1m 16s master
master
September 27, 2023 10:59 1m 16s
Add option to compare reports from main page Deploy #10: Commit 1d68b3b pushed by vmordan
September 26, 2023 14:01 1m 13s master
master
September 26, 2023 14:01 1m 13s