Skip to content

Actions: proteus-core/ecosystem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use default EVAL-HD scripts and improve tooling (#6) Reduced CI tests #32: Commit d58b77a pushed by martonbognar
49m 12s main
main
49m 12s
Use default EVAL-HD scripts and improve tooling (#6) Full CI tests and Docker deployment #50: Commit d58b77a pushed by martonbognar
3h 42m 14s main
main
3h 42m 14s
Use default EVAL-HD scripts and improve tooling Reduced CI tests #31: Pull request #6 opened by martonbognar
44m 58s eval-hd-refactor
eval-hd-refactor
44m 58s
Use default EVAL-HD scripts and improve tooling Full CI tests and Docker deployment #49: Pull request #6 opened by martonbognar
3h 31m 37s eval-hd-refactor
eval-hd-refactor
3h 31m 37s
Only deploy Docker image based on the main branch Reduced CI tests #30: Commit 9343617 pushed by martonbognar
46m 8s eval-hd-refactor
eval-hd-refactor
46m 8s
Only deploy Docker image based on the main branch Reduced CI tests #29: Commit 24bfd52 pushed by martonbognar
4m 31s eval-hd-refactor
eval-hd-refactor
4m 31s
Remove absolute paths Reduced CI tests #28: Commit a92a4f2 pushed by martonbognar
46m 47s eval-hd-refactor
eval-hd-refactor
46m 47s
noninterference-bugfix Reduced CI tests #27: Pull request #5 opened by JensTheGrens
45m 28s noninterference-bugfix
noninterference-bugfix
45m 28s
noninterference-bugfix Full CI tests and Docker deployment #47: Pull request #5 opened by JensTheGrens
3h 42m 47s noninterference-bugfix
noninterference-bugfix
3h 42m 47s
noninterference-bugfix Reduced CI tests #26: Commit b2feca3 pushed by JensTheGrens
45m 43s noninterference-bugfix
noninterference-bugfix
45m 43s
fix interfaceparser path Reduced CI tests #25: Commit 15b4fc5 pushed by JensTheGrens
45m 32s main
main
45m 32s
fix interfaceparser path Full CI tests and Docker deployment #46: Pull request #4 opened by JensTheGrens
3h 43m 10s interfaceparser-fix
interfaceparser-fix
3h 43m 10s
fix interfaceparser path Reduced CI tests #24: Pull request #4 opened by JensTheGrens
46m 10s interfaceparser-fix
interfaceparser-fix
46m 10s
fix interfaceparser path Reduced CI tests #23: Commit a015cd0 pushed by JensTheGrens
45m 3s interfaceparser-fix
interfaceparser-fix
45m 3s
Use original scripts provided in EVAL-HD Reduced CI tests #22: Commit 9ab2014 pushed by martonbognar
45m 2s eval-hd-refactor
eval-hd-refactor
45m 2s
Improvements to waveform analysis, EVAL-HD, riscv-formal, CI (#3) Reduced CI tests #21: Commit a71f901 pushed by Danacus
44m 45s main
main
44m 45s
Contract trace comparison Reduced CI tests #20: Commit 8e3fb68 pushed by Danacus
45m 45s main
main
45m 45s
Add ProSpeCT defense to noninterference tests Reduced CI tests #19: Commit e474e07 pushed by martonbognar
1m 1s prospect-noninterference
prospect-noninterference
1m 1s
Makefile refactor Reduced CI tests #18: Commit 0ae8ee3 pushed by Danacus
45m 34s benchmarks
benchmarks
45m 34s
Initial SpectreGuard+sglib combined benchmark Reduced CI tests #17: Commit ecc0acd pushed by martonbognar
45m 19s specbench-sglib
specbench-sglib
45m 19s
Add AMi benchmarks to CI Reduced CI tests #15: Commit 838bad6 pushed by Danacus
46m 39s benchmarks
benchmarks
46m 39s
Update embench submodule Reduced CI tests #14: Commit 5a073d9 pushed by Danacus
45m 56s benchmarks
benchmarks
45m 56s
Add additional benchmarks Reduced CI tests #13: Commit 86f1894 pushed by Danacus
46m 45s benchmarks
benchmarks
46m 45s
Improvements to waveform analysis, EVAL-HD, riscv-formal, CI (#3) Reduced CI tests #12: Commit a71f901 pushed by martonbognar
47m 3s main
main
47m 3s
Improvements to waveform analysis, EVAL-HD, riscv-formal, CI Full CI tests and Docker deployment #45: Pull request #3 synchronize by martonbognar
3h 48m 49s script-improvements
script-improvements
3h 48m 49s