Skip to content

Actions: npatsiatzis/VGA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
CoCoTB Regression Tests CoCoTB Regression Tests #45: Scheduled
December 3, 2023 00:54 51s main
main
December 3, 2023 00:54 51s
sby Formal Verification sby Formal Verification #41: Scheduled
December 3, 2023 00:30 1m 3s main
main
December 3, 2023 00:30 1m 3s
CoCoTB Regression Tests CoCoTB Regression Tests #44: Scheduled
November 26, 2023 00:54 52s main
main
November 26, 2023 00:54 52s
sby Formal Verification sby Formal Verification #40: Scheduled
November 26, 2023 00:30 54s main
main
November 26, 2023 00:30 54s
CoCoTB Regression Tests CoCoTB Regression Tests #43: Scheduled
November 19, 2023 00:55 55s main
main
November 19, 2023 00:55 55s
sby Formal Verification sby Formal Verification #39: Scheduled
November 19, 2023 00:30 54s main
main
November 19, 2023 00:30 54s
CoCoTB Regression Tests CoCoTB Regression Tests #42: Scheduled
November 12, 2023 00:53 54s main
main
November 12, 2023 00:53 54s
sby Formal Verification sby Formal Verification #38: Scheduled
November 12, 2023 00:29 1m 15s main
main
November 12, 2023 00:29 1m 15s
CoCoTB Regression Tests CoCoTB Regression Tests #41: Scheduled
November 5, 2023 00:52 1m 19s main
main
November 5, 2023 00:52 1m 19s
sby Formal Verification sby Formal Verification #37: Scheduled
November 5, 2023 00:29 1m 4s main
main
November 5, 2023 00:29 1m 4s
CoCoTB Regression Tests CoCoTB Regression Tests #40: Scheduled
October 29, 2023 00:51 1m 15s main
main
October 29, 2023 00:51 1m 15s
sby Formal Verification sby Formal Verification #36: Scheduled
October 29, 2023 00:28 48s main
main
October 29, 2023 00:28 48s
CoCoTB Regression Tests CoCoTB Regression Tests #39: Scheduled
October 22, 2023 00:52 1m 27s main
main
October 22, 2023 00:52 1m 27s
sby Formal Verification sby Formal Verification #35: Scheduled
October 22, 2023 00:29 1m 8s main
main
October 22, 2023 00:29 1m 8s
CoCoTB Regression Tests CoCoTB Regression Tests #38: Scheduled
October 15, 2023 00:52 1m 8s main
main
October 15, 2023 00:52 1m 8s
sby Formal Verification sby Formal Verification #34: Scheduled
October 15, 2023 00:29 1m 13s main
main
October 15, 2023 00:29 1m 13s
CoCoTB Regression Tests CoCoTB Regression Tests #37: Scheduled
October 8, 2023 00:52 1m 28s main
main
October 8, 2023 00:52 1m 28s
sby Formal Verification sby Formal Verification #33: Scheduled
October 8, 2023 00:29 1m 4s main
main
October 8, 2023 00:29 1m 4s
Create LICENSE CoCoTB Regression Tests #36: Commit 1ad8c6d pushed by npatsiatzis
October 1, 2023 15:00 59s main
main
October 1, 2023 15:00 59s
Create LICENSE sby Formal Verification #32: Commit 1ad8c6d pushed by npatsiatzis
October 1, 2023 15:00 46s main
main
October 1, 2023 15:00 46s
CoCoTB Regression Tests CoCoTB Regression Tests #35: Scheduled
October 1, 2023 00:55 1m 1s main
main
October 1, 2023 00:55 1m 1s
sby Formal Verification sby Formal Verification #31: Scheduled
October 1, 2023 00:30 1m 3s main
main
October 1, 2023 00:30 1m 3s
CoCoTB Regression Tests CoCoTB Regression Tests #34: Scheduled
September 24, 2023 00:51 58s main
main
September 24, 2023 00:51 58s
sby Formal Verification sby Formal Verification #30: Scheduled
September 24, 2023 00:28 1m 5s main
main
September 24, 2023 00:28 1m 5s
updated README to render the repo structure in a clearer way sby Formal Verification #29: Commit 2f214f9 pushed by npatsiatzis
September 17, 2023 06:45 1m 10s main
main
September 17, 2023 06:45 1m 10s