Skip to content

Actions: tum-ei-eda/seal5

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge latest changes Lint #22: Pull request #58 synchronize by PhilippvK
March 4, 2024 20:08 27s philippvk-new
philippvk-new
March 4, 2024 20:08 27s
update xcorev cdsl submodule Lint #21: Commit 67a5a9c pushed by PhilippvK
March 4, 2024 20:08 19s philippvk-new
philippvk-new
March 4, 2024 20:08 19s
Usage Demo (Manual) Usage Demo (Manual) #5: Manually run by PhilippvK
March 1, 2024 11:54 6m 23s philippvk-new
philippvk-new
March 1, 2024 11:54 6m 23s
Merge latest changes Lint #20: Pull request #58 synchronize by PhilippvK
March 1, 2024 11:54 22s philippvk-new
philippvk-new
March 1, 2024 11:54 22s
add missing test file Lint #19: Commit 894d080 pushed by PhilippvK
March 1, 2024 11:54 24s philippvk-new
philippvk-new
March 1, 2024 11:54 24s
Merge latest changes Lint #18: Pull request #58 synchronize by PhilippvK
March 1, 2024 11:32 29s philippvk-new
philippvk-new
March 1, 2024 11:32 29s
more linting Lint #17: Commit 556c881 pushed by PhilippvK
March 1, 2024 11:32 18s philippvk-new
philippvk-new
March 1, 2024 11:32 18s
Merge latest changes Lint #16: Pull request #58 synchronize by PhilippvK
March 1, 2024 11:30 21s philippvk-new
philippvk-new
March 1, 2024 11:30 21s
fix last patch stage being skipped Lint #15: Commit 47a441f pushed by PhilippvK
March 1, 2024 11:30 27s philippvk-new
philippvk-new
March 1, 2024 11:30 27s
Merge latest changes Lint #14: Pull request #58 opened by PhilippvK
March 1, 2024 06:56 21s philippvk-new
philippvk-new
March 1, 2024 06:56 21s