Skip to content

Actions: tum-ei-eda/seal5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add examples/cdsl/ExampleGPR32Pair.core_desc file Lint #127: Commit 4c288d0 pushed by PhilippvK
May 31, 2024 11:40 21s support-regpair
support-regpair
May 31, 2024 11:40 21s
start implementation of regpair support 3 (wip) Lint #125: Commit d12e20a pushed by PhilippvK
May 31, 2024 10:55 18s support-regpair
support-regpair
May 31, 2024 10:55 18s
start implementation of regpair support 2 (wip) Lint #124: Commit 7ad7a9d pushed by PhilippvK
May 31, 2024 10:53 18s support-regpair
support-regpair
May 31, 2024 10:53 18s
add comment Lint #123: Commit fd86a7a pushed by PhilippvK
May 31, 2024 08:20 19s support-compressed
support-compressed
May 31, 2024 08:20 19s
add comment Lint #122: Commit 5b6e90b pushed by PhilippvK
May 31, 2024 08:20 24s support-compressed
support-compressed
May 31, 2024 08:20 24s
start implementation of regpair support (wip) Lint #121: Commit 9d2a67c pushed by PhilippvK
May 31, 2024 08:16 19s support-regpair
support-regpair
May 31, 2024 08:16 19s
pages build and deployment pages-build-deployment #4: by github-pages bot
May 31, 2024 07:47 25s gh-pages
gh-pages
May 31, 2024 07:47 25s
Add files via upload Build Documentation #37: Commit 82e35e1 pushed by PhilippvK
May 31, 2024 07:46 1m 34s main
main
May 31, 2024 07:46 1m 34s
Add files via upload Lint #120: Commit 82e35e1 pushed by PhilippvK
May 31, 2024 07:46 19s main
main
May 31, 2024 07:46 19s
Update README.md Build Documentation #36: Commit 7140559 pushed by PhilippvK
May 31, 2024 07:46 54s main
main
May 31, 2024 07:46 54s
Update README.md Lint #119: Commit 7140559 pushed by PhilippvK
May 31, 2024 07:46 18s main
main
May 31, 2024 07:46 18s
support compressed(16bit) instructions Lint #118: Commit 3507804 pushed by PhilippvK
May 30, 2024 18:40 19s support-compressed
support-compressed
May 30, 2024 18:40 19s
ignore some flake8 warnings which conflict with black Build Documentation #35: Commit 5975149 pushed by PhilippvK
May 30, 2024 17:07 58s main
main
May 30, 2024 17:07 58s
ignore some flake8 warnings which conflict with black Lint #117: Commit 5975149 pushed by PhilippvK
May 30, 2024 17:07 18s main
main
May 30, 2024 17:07 18s
flow: declare version_info Lint #116: Commit f01bbab pushed by PhilippvK
May 30, 2024 16:13 21s main
main
May 30, 2024 16:13 21s
flow: declare version_info Build Documentation #34: Commit f01bbab pushed by PhilippvK
May 30, 2024 16:13 1m 32s main
main
May 30, 2024 16:13 1m 32s
support 64bit instructions Lint #115: Commit 04133a7 pushed by PhilippvK
May 30, 2024 15:55 17s support-rv64
support-rv64
May 30, 2024 15:55 17s
Feature transform api Lint #114: Pull request #83 synchronize by PhilippvK
May 23, 2024 18:10 22s feature-transform-api
feature-transform-api
May 23, 2024 18:10 22s
Feature transform api Build Documentation #33: Pull request #83 synchronize by PhilippvK
May 23, 2024 18:10 1m 33s feature-transform-api
feature-transform-api
May 23, 2024 18:10 1m 33s
Merge branch 'main' into feature-transform-api Lint #113: Commit 9dbc19d pushed by PhilippvK
May 23, 2024 18:10 20s feature-transform-api
feature-transform-api
May 23, 2024 18:10 20s
Merge pull request #85 from tum-ei-eda/tidy-up Build Documentation #32: Commit d1c86f2 pushed by PhilippvK
May 23, 2024 18:09 1m 12s main
main
May 23, 2024 18:09 1m 12s
Merge pull request #85 from tum-ei-eda/tidy-up Lint #112: Commit d1c86f2 pushed by PhilippvK
May 23, 2024 18:09 19s main
main
May 23, 2024 18:09 19s
Tidy up Build Documentation #31: Pull request #85 synchronize by thomasgoodfellow
May 23, 2024 12:29 1m 18s tidy-up
tidy-up
May 23, 2024 12:29 1m 18s
Tidy up Lint #111: Pull request #85 synchronize by thomasgoodfellow
May 23, 2024 12:29 34s tidy-up
tidy-up
May 23, 2024 12:29 34s
Reverting bad corev_demo.py push Lint #110: Commit 79c6eae pushed by thomasgoodfellow
May 23, 2024 12:29 20s tidy-up
tidy-up
May 23, 2024 12:29 20s
ProTip! You can narrow down the results and go further in time using created:<2024-05-23 or the other filters available.