Skip to content

Actions: magia-hdl/magia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature: Formal Verification - Assertion Cells (#49) General CI Build and Test #311: Commit b7debcd pushed by khwong-c
May 13, 2024 22:12 5m 13s main
main
May 13, 2024 22:12 5m 13s
AssertionCell can only be used in Formal verification General CI Build and Test #310: Commit 7e6da6b pushed by khwong-c
May 13, 2024 21:54 5m 16s feature/formal/assertion-cells
feature/formal/assertion-cells
May 13, 2024 21:54 5m 16s
Update magia-flow version General CI Build and Test #309: Commit 3b3226e pushed by khwong-c
May 13, 2024 21:40 5m 14s feature/formal/assertion-cells
feature/formal/assertion-cells
May 13, 2024 21:40 5m 14s
Check Verilator version in Poetry Env General CI Build and Test #308: Commit 4e61996 pushed by khwong-c
May 12, 2024 22:53 5m 9s feature/formal/assertion-cells
feature/formal/assertion-cells
May 12, 2024 22:53 5m 9s
Install OSS-CAD for formal verification General CI Build and Test #307: Commit 26f34e6 pushed by khwong-c
May 12, 2024 22:51 1m 5s feature/formal/assertion-cells
feature/formal/assertion-cells
May 12, 2024 22:51 1m 5s
Feature: Revert Parser (#48) General CI Build and Test #306: Commit 368424f pushed by khwong-c
May 10, 2024 23:15 2m 26s main
main
May 10, 2024 23:15 2m 26s
Revert Parser General CI Build and Test #305: Commit f7b81d1 pushed by khwong-c
May 10, 2024 23:12 2m 30s feature/revert-parser
feature/revert-parser
May 10, 2024 23:12 2m 30s
Refactor: Deprecate SignalType Enum (#47) General CI Build and Test #304: Commit 2a1fae7 pushed by khwong-c
May 10, 2024 23:06 3m 53s main
main
May 10, 2024 23:06 3m 53s
Remove SignalType General CI Build and Test #303: Commit c49b771 pushed by khwong-c
May 10, 2024 23:00 2m 49s refactor/deprecate_signal_type
refactor/deprecate_signal_type
May 10, 2024 23:00 2m 49s
Fix: Signal Declaration at the beginning of Elaborated Module (#46) General CI Build and Test #302: Commit a6a0e2a pushed by khwong-c
May 10, 2024 17:48 2m 44s main
main
May 10, 2024 17:48 2m 44s
Separate Signal Declaration to the top of the elaborated file General CI Build and Test #301: Commit 97f8508 pushed by khwong-c
May 10, 2024 17:33 2m 35s fix/signal-decl-on-top
fix/signal-decl-on-top
May 10, 2024 17:33 2m 35s
Feature: Manual SVA (#45) General CI Build and Test #300: Commit 8d66dd7 pushed by khwong-c
May 10, 2024 12:06 2m 54s main
main
May 10, 2024 12:06 2m 54s
Manual SVA properties must have a name, or specifically None for auto… General CI Build and Test #299: Commit 8110505 pushed by khwong-c
May 10, 2024 11:25 2m 39s feature/manual-sva-2
feature/manual-sva-2
May 10, 2024 11:25 2m 39s
Fix Import General CI Build and Test #298: Commit fcb51c6 pushed by khwong-c
May 10, 2024 11:19 2m 34s feature/manual-sva-2
feature/manual-sva-2
May 10, 2024 11:19 2m 34s
Testcase: Manual SVA General CI Build and Test #297: Commit 8f39457 pushed by khwong-c
May 9, 2024 21:35 2m 37s feature/manual-sva-2
feature/manual-sva-2
May 9, 2024 21:35 2m 37s
Feature: Module context (#44) General CI Build and Test #296: Commit c380d2b pushed by khwong-c
May 6, 2024 19:59 2m 45s main
main
May 6, 2024 19:59 2m 45s
Fix import General CI Build and Test #295: Commit 5535be4 pushed by khwong-c
May 6, 2024 19:52 2m 32s feature/module-context
feature/module-context
May 6, 2024 19:52 2m 32s
Move ModuleContext into utils - It should not be accessed by normal u… General CI Build and Test #294: Commit ed0ed88 pushed by khwong-c
May 6, 2024 19:43 59s feature/module-context
feature/module-context
May 6, 2024 19:43 59s
Merge branch 'main' into feature/module-context General CI Build and Test #293: Commit 4c93aee pushed by khwong-c
May 6, 2024 19:32 2m 28s feature/module-context
feature/module-context
May 6, 2024 19:32 2m 28s
Feature: Code Section (#43) General CI Build and Test #292: Commit 1364184 pushed by khwong-c
May 6, 2024 19:29 2m 34s main
main
May 6, 2024 19:29 2m 34s
Fix Lint General CI Build and Test #291: Commit f0ad3ba pushed by khwong-c
May 5, 2024 22:16 2m 28s feature/code-section
feature/code-section
May 5, 2024 22:16 2m 28s
Test Case: test_code_section General CI Build and Test #290: Commit c28b8a9 pushed by khwong-c
May 5, 2024 22:15 14s feature/code-section
feature/code-section
May 5, 2024 22:15 14s
Rename and Comment General CI Build and Test #289: Commit 1f4254d pushed by khwong-c
May 5, 2024 22:04 2m 33s feature/code-section
feature/code-section
May 5, 2024 22:04 2m 33s
Code Section Specification General CI Build and Test #288: Commit f20d6d9 pushed by khwong-c
May 5, 2024 20:38 2m 33s feature/code-section
feature/code-section
May 5, 2024 20:38 2m 33s
Code Section Specification General CI Build and Test #287: Commit 267717c pushed by khwong-c
May 5, 2024 20:35 2m 26s feature/code-section
feature/code-section
May 5, 2024 20:35 2m 26s