Skip to content

Actions: tum-ei-eda/seal5

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Usage Demo (Manual) Usage Demo (Manual) #8: Manually run by PhilippvK
March 28, 2024 16:53 19m 49s main
main
March 28, 2024 16:53 19m 49s
demos: disable PREPATCHED by default Lint #52: Commit 2633669 pushed by PhilippvK
March 28, 2024 16:53 28s main
main
March 28, 2024 16:53 28s
Usage Demo (Manual) Usage Demo (Manual) #7: Manually run by PhilippvK
March 28, 2024 16:20 1m 22s main
main
March 28, 2024 16:20 1m 22s
Merge pull request #60 from tum-ei-eda/philippvk-new Lint #51: Commit 6631b40 pushed by PhilippvK
March 28, 2024 16:18 31s main
main
March 28, 2024 16:18 31s
Draft: Recent Changes Lint #50: Pull request #60 synchronize by PhilippvK
March 28, 2024 16:15 24s philippvk-new
philippvk-new
March 28, 2024 16:15 24s
[lint] make flake8 happy Lint #49: Commit af31695 pushed by PhilippvK
March 28, 2024 16:15 24s philippvk-new
philippvk-new
March 28, 2024 16:15 24s
Draft: Recent Changes Lint #48: Pull request #60 synchronize by PhilippvK
March 28, 2024 09:51 26s philippvk-new
philippvk-new
March 28, 2024 09:51 26s
[CI] .github/workflows/demo.yml: allow chooing script name for demo Lint #47: Commit 39b5e22 pushed by PhilippvK
March 28, 2024 09:51 28s philippvk-new
philippvk-new
March 28, 2024 09:51 28s
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