Skip to content

Actions: tum-ei-eda/seal5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow run results
52 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft: Recent Changes Lint #46: Pull request #60 synchronize by PhilippvK
March 27, 2024 19:30 23s philippvk-new
philippvk-new
March 27, 2024 19:30 23s
small fix for seal5.backends.coredsl2.writer when list of operands is… Lint #45: Commit b4f9eab pushed by PhilippvK
March 27, 2024 19:30 27s philippvk-new
philippvk-new
March 27, 2024 19:30 27s
Draft: Recent Changes Lint #44: Pull request #60 synchronize by PhilippvK
March 26, 2024 12:59 22s philippvk-new
philippvk-new
March 26, 2024 12:59 22s
update demo Lint #43: Commit 9ffb140 pushed by PhilippvK
March 26, 2024 12:59 28s philippvk-new
philippvk-new
March 26, 2024 12:59 28s
Draft: Recent Changes Lint #42: Pull request #60 synchronize by PhilippvK
March 19, 2024 09:55 28s philippvk-new
philippvk-new
March 19, 2024 09:55 28s
fix prefix overrides Lint #41: Commit b42577f pushed by PhilippvK
March 19, 2024 09:55 23s philippvk-new
philippvk-new
March 19, 2024 09:55 23s
Draft: Recent Changes Lint #40: Pull request #60 synchronize by PhilippvK
March 19, 2024 09:41 33s philippvk-new
philippvk-new
March 19, 2024 09:41 33s
fix typo in example configs Lint #39: Commit 7a573f5 pushed by PhilippvK
March 19, 2024 09:41 28s philippvk-new
philippvk-new
March 19, 2024 09:41 28s
Draft: Recent Changes Lint #38: Pull request #60 synchronize by PhilippvK
March 19, 2024 09:38 24s philippvk-new
philippvk-new
March 19, 2024 09:38 24s
lint Lint #37: Commit 00385c6 pushed by PhilippvK
March 19, 2024 09:38 27s philippvk-new
philippvk-new
March 19, 2024 09:38 27s
Draft: Recent Changes Lint #36: Pull request #60 synchronize by PhilippvK
March 14, 2024 09:51 32s philippvk-new
philippvk-new
March 14, 2024 09:51 32s
lint code Lint #35: Commit 3182d58 pushed by PhilippvK
March 14, 2024 09:51 40s philippvk-new
philippvk-new
March 14, 2024 09:51 40s
Draft: Recent Changes Lint #34: Pull request #60 opened by PhilippvK
March 14, 2024 09:49 19s philippvk-new
philippvk-new
March 14, 2024 09:49 19s
seal5.transform.converter: add --prefix option Lint #33: Commit 45125b4 pushed by PhilippvK
March 14, 2024 09:49 27s philippvk-new
philippvk-new
March 14, 2024 09:49 27s
WIP: add seal5 prefix to all instrs (workaround) Lint #32: Commit 2a6dd85 pushed by PhilippvK
March 10, 2024 07:40 21s philippvk-new
philippvk-new
March 10, 2024 07:40 21s
Merge branch 'main' of https://github.com/tum-ei-eda/seal5 into main Lint #31: Commit 90999e8 pushed by PhilippvK
March 5, 2024 15:35 24s main
main
March 5, 2024 15:35 24s
fixes Lint #30: Commit b98a630 pushed by PhilippvK
March 5, 2024 15:34 37s philippvk-new
philippvk-new
March 5, 2024 15:34 37s
Usage Demo (Manual) Usage Demo (Manual) #6: Manually run by PhilippvK
March 5, 2024 13:07 2h 21m 50s main
main
March 5, 2024 13:07 2h 21m 50s
Merge pull request #58 from tum-ei-eda/philippvk-new Lint #29: Commit 68f969f pushed by PhilippvK
March 5, 2024 13:07 22s main
main
March 5, 2024 13:07 22s
Merge latest changes Lint #28: Pull request #58 synchronize by PhilippvK
March 5, 2024 11:46 23s philippvk-new
philippvk-new
March 5, 2024 11:46 23s
lint Lint #27: Commit 01dab0b pushed by PhilippvK
March 5, 2024 11:46 21s philippvk-new
philippvk-new
March 5, 2024 11:46 21s
Merge latest changes Lint #26: Pull request #58 synchronize by PhilippvK
March 5, 2024 11:46 20s philippvk-new
philippvk-new
March 5, 2024 11:46 20s
fix Lint #25: Commit 6b4f4cd pushed by PhilippvK
March 5, 2024 11:46 23s philippvk-new
philippvk-new
March 5, 2024 11:46 23s
Merge latest changes Lint #24: Pull request #58 synchronize by PhilippvK
March 5, 2024 11:42 24s philippvk-new
philippvk-new
March 5, 2024 11:42 24s
cleanup Lint #23: Commit 6152ec1 pushed by PhilippvK
March 5, 2024 11:42 23s philippvk-new
philippvk-new
March 5, 2024 11:42 23s