Skip to content

Actions: ispras/cv

Actions

Pylint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
96 workflow runs
96 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for extended notes in violation witnesses
Pylint #81: Commit 65e755d pushed by vmordan
August 23, 2023 18:31 31s extended_notes
August 23, 2023 18:31 31s
Rename mea script
Pylint #80: Commit 44e69b7 pushed by vmordan
August 23, 2023 18:28 39s rename_mea_script
August 23, 2023 18:28 39s
Fix scripts access
Pylint #79: Commit c524d66 pushed by vmordan
August 23, 2023 13:25 42s master
August 23, 2023 13:25 42s
Klever bridge (#40)
Pylint #78: Commit 94f6bd2 pushed by vmordan
July 28, 2023 10:46 29s master
July 28, 2023 10:46 29s
Add Klever bridge documentation
Pylint #77: Commit 9620f35 pushed by vmordan
July 28, 2023 10:11 34s klever_bridge
July 28, 2023 10:11 34s
Merge pull request #39 from ispras/remove_klever_dependencies
Pylint #76: Commit bcb823f pushed by vmordan
July 28, 2023 10:07 28s master
July 28, 2023 10:07 28s
Fix false alarm
Pylint #75: Commit 8639e85 pushed by vmordan
July 28, 2023 09:59 39s remove_klever_dependencies
July 28, 2023 09:59 39s
Change CVV repo
Pylint #74: Commit b7647a1 pushed by vmordan
July 28, 2023 09:53 35s remove_klever_dependencies
July 28, 2023 09:53 35s
Add documentation
Pylint #73: Commit 4e6f299 pushed by vmordan
July 27, 2023 13:36 33s klever_bridge
July 27, 2023 13:36 33s
Fix code style
Pylint #72: Commit f1da9f8 pushed by vmordan
July 26, 2023 05:20 33s remove_klever_dependencies
July 26, 2023 05:20 33s
Refactoring of new elements
Pylint #71: Commit 1603402 pushed by vmordan
July 26, 2023 04:47 31s remove_klever_dependencies
July 26, 2023 04:47 31s
Fix makefile
Pylint #70: Commit 3bd5bcf pushed by vmordan
July 25, 2023 14:41 47s remove_klever_dependencies
July 25, 2023 14:41 47s
Fix CIF repo name
Pylint #69: Commit f38823b pushed by vmordan
July 25, 2023 12:06 38s remove_klever_dependencies
July 25, 2023 12:06 38s
Change branch name
Pylint #68: Commit 8bcec76 pushed by vmordan
July 25, 2023 12:05 32s remove_klever_dependencies
July 25, 2023 12:05 32s
Update paths in CVV
Pylint #67: Commit 1a8bc16 pushed by vmordan
July 25, 2023 12:00 36s remove_klever_dependencies
July 25, 2023 12:00 36s
Move to new CVV repo
Pylint #66: Commit 9a6edae pushed by vmordan
July 25, 2023 11:58 34s remove_klever_dependencies
July 25, 2023 11:58 34s
Fix code style
Pylint #65: Commit f59d744 pushed by vmordan
July 20, 2023 09:04 30s klever_bridge
July 20, 2023 09:04 30s
Add CPU energy as tasks resources
Pylint #64: Commit 7da659c pushed by vmordan
July 20, 2023 09:01 31s master
July 20, 2023 09:01 31s
Add bridge from Klever jobs to CV web-interface
Pylint #63: Commit 990f23e pushed by vmordan
July 20, 2023 09:00 38s klever_bridge
July 20, 2023 09:00 38s
Update Makefile
Pylint #62: Commit ab5cb30 pushed by vmordan
July 14, 2023 11:34 37s remove_klever_dependencies
July 14, 2023 11:34 37s