Skip to content

Actions: proteus-core/ecosystem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker setup improvements (#7) Full CI tests and Docker deployment #55: Commit 5dcdd18 pushed by martonbognar
3h 36m 47s main
main
3h 36m 47s
Docker setup improvements (#7) Reduced CI tests #41: Commit 5dcdd18 pushed by martonbognar
28m 49s main
main
28m 49s
Docker setup improvements Reduced CI tests #40: Pull request #7 synchronize by martonbognar
26m 46s setup-improvements
setup-improvements
26m 46s
Docker setup improvements Full CI tests and Docker deployment #54: Pull request #7 synchronize by martonbognar
3h 27m 29s setup-improvements
setup-improvements
3h 27m 29s
Install riscv-formal in the published Docker image Reduced CI tests #39: Commit e57bae8 pushed by martonbognar
26m 36s setup-improvements
setup-improvements
26m 36s
test fix Full CI tests and Docker deployment #53: Pull request #8 opened by JensTheGrens
3h 46m 21s bugtest
bugtest
3h 46m 21s
test fix Reduced CI tests #38: Pull request #8 opened by JensTheGrens
1h 36m 13s bugtest
bugtest
1h 36m 13s
test fix Reduced CI tests #37: Commit 79f9b9b pushed by JensTheGrens
3m 11s bugtest
bugtest
3m 11s
noninterference-bugfix (#5) Reduced CI tests #36: Commit f5e70c8 pushed by JensTheGrens
48m 25s bugtest
bugtest
48m 25s
Reduced CI tests Reduced CI tests #35: by martonbognar
47m 51s main
main
47m 51s
Full CI tests and Docker deployment Full CI tests and Docker deployment #52: by martonbognar
49m 20s main
main
49m 20s
Docker setup improvements Full CI tests and Docker deployment #51: Pull request #7 opened by martonbognar
3h 21m 39s setup-improvements
setup-improvements
3h 21m 39s
Docker setup improvements Reduced CI tests #34: Pull request #7 opened by martonbognar
26m 44s setup-improvements
setup-improvements
26m 44s
Docker setup improvements Reduced CI tests #33: Commit 1ce6248 pushed by martonbognar
27m 19s setup-improvements
setup-improvements
27m 19s
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