Skip to content

Actions: tum-ei-eda/seal5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
789 workflow runs
789 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chacha20 extension syntax tweak Lint #489: Commit 364d69d pushed by thomasgoodfellow
February 6, 2025 09:31 25s chacha
chacha
February 6, 2025 09:31 25s
examples: update 48bit_demo.py (use lrz gitlab) Lint #488: Commit 705783e pushed by PhilippvK
February 5, 2025 11:14 27s support-48bit
support-48bit
February 5, 2025 11:14 27s
example: add ExampleRV32K.core_desc (WIP) Lint #487: Commit 132f90e pushed by PhilippvK
February 5, 2025 11:13 25s support-48bit
support-48bit
February 5, 2025 11:13 25s
Usage Demo (Weekly) Usage Demo (Weekly) #56: Scheduled
February 1, 2025 00:19 21m 47s main
main
February 1, 2025 00:19 21m 47s
Moved to proper ChaCha20 Lint #486: Commit 16dba33 pushed by thomasgoodfellow
January 31, 2025 09:04 18s chacha
chacha
January 31, 2025 09:04 18s
seal5/dependencies.py: move to llvm19 patterngen Lint #485: Commit 9a71bf4 pushed by PhilippvK
January 28, 2025 11:21 21s future-paper-4
future-paper-4
January 28, 2025 11:21 21s
fix SKIP_PATTERN_GEN Lint #484: Commit e424833 pushed by PhilippvK
January 28, 2025 11:17 20s develop
develop
January 28, 2025 11:17 20s
seal5/tools/inject_patches.py: fix analyze_diff if single file Lint #483: Commit 04b3594 pushed by PhilippvK
January 28, 2025 10:34 19s develop
develop
January 28, 2025 10:34 19s
Usage Demo (Weekly) Usage Demo (Weekly) #55: Scheduled
January 25, 2025 00:17 22m 50s main
main
January 25, 2025 00:17 22m 50s
add demo files: rv_xmnn Lint #482: Commit 417d696 pushed by PhilippvK
January 22, 2025 14:17 26s demo_mnn
demo_mnn
January 22, 2025 14:17 26s
lint Lint #481: Commit 904d5ea pushed by PhilippvK
January 22, 2025 12:57 20s develop
develop
January 22, 2025 12:57 20s
Revert "disable multiprocessing of passes in ci (TODO: investigate bu… Lint #480: Commit 3338c21 pushed by PhilippvK
January 20, 2025 16:46 20s develop
develop
January 20, 2025 16:46 20s
Merge pull request #158 from tum-ei-eda/develop Build Documentation #171: Commit 5ffb21e pushed by PhilippvK
January 20, 2025 16:43 1m 3s main
main
January 20, 2025 16:43 1m 3s
Merge pull request #158 from tum-ei-eda/develop Lint #479: Commit 5ffb21e pushed by PhilippvK
January 20, 2025 16:43 19s main
main
January 20, 2025 16:43 19s
Develop Build Documentation #170: Pull request #158 opened by PhilippvK
January 20, 2025 16:43 1m 6s develop
develop
January 20, 2025 16:43 1m 6s
Develop Lint #478: Pull request #158 opened by PhilippvK
January 20, 2025 16:43 20s develop
develop
January 20, 2025 16:43 20s
disable multiprocessing of passes in ci (TODO: investigate bug and dr… Lint #477: Commit c047a1c pushed by PhilippvK
January 20, 2025 16:42 19s develop
develop
January 20, 2025 16:42 19s
Usage Demo (Weekly) Usage Demo (Weekly) #54: Scheduled
January 18, 2025 00:17 29m 24s main
main
January 18, 2025 00:17 29m 24s
Usage Demo (Weekly) Usage Demo (Weekly) #53: Manually run by PhilippvK
January 16, 2025 11:25 24m 27s main
main
January 16, 2025 11:25 24m 27s
Merge pull request #157 from tum-ei-eda/develop Build Documentation #169: Commit 82fe1e1 pushed by PhilippvK
January 16, 2025 11:25 1m 2s main
main
January 16, 2025 11:25 1m 2s
Merge pull request #157 from tum-ei-eda/develop Lint #476: Commit 82fe1e1 pushed by PhilippvK
January 16, 2025 11:25 17s main
main
January 16, 2025 11:25 17s
Develop Build Documentation #168: Pull request #157 opened by PhilippvK
January 16, 2025 11:25 1m 3s develop
develop
January 16, 2025 11:25 1m 3s
Develop Lint #475: Pull request #157 opened by PhilippvK
January 16, 2025 11:25 19s develop
develop
January 16, 2025 11:25 19s
examples/merge_test_artifacts.py: lint Lint #474: Commit ee20bab pushed by PhilippvK
January 16, 2025 11:24 19s develop
develop
January 16, 2025 11:24 19s
fixes Lint #473: Commit aa99a38 pushed by PhilippvK
January 16, 2025 11:24 20s develop
develop
January 16, 2025 11:24 20s