Skip to content

Actions: tum-ei-eda/seal5

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
721 workflow runs
721 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more linting
Lint #17: Commit 556c881 pushed by PhilippvK
March 1, 2024 11:32 18s 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
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
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
March 1, 2024 06:56 21s
examples: add missing files
Lint #13: Commit 363ed15 pushed by PhilippvK
February 26, 2024 06:32 29s philippvk-new
February 26, 2024 06:32 29s
update cdsl2llvm dependency branch
Lint #12: Commit 0c67a66 pushed by PhilippvK
February 21, 2024 14:30 29s philippvk-new
February 21, 2024 14:30 29s
Usage Demo (Manual)
Usage Demo (Manual) #4: Manually run by PhilippvK
February 16, 2024 14:44 1h 36m 32s main
February 16, 2024 14:44 1h 36m 32s
filter.yml: exclude simd
Lint #11: Commit d3552ce pushed by PhilippvK
February 16, 2024 14:44 22s main
February 16, 2024 14:44 22s
fixes
Lint #10: Commit d0617b8 pushed by PhilippvK
February 16, 2024 14:43 26s main
February 16, 2024 14:43 26s
fixes
Lint #9: Commit 987ad8b pushed by PhilippvK
February 16, 2024 13:57 27s main
February 16, 2024 13:57 27s
fixes
Lint #8: Commit 987ad8b pushed by PhilippvK
February 16, 2024 13:57 19s philippvk
February 16, 2024 13:57 19s
fixes
Lint #7: Commit e2f11a7 pushed by PhilippvK
February 16, 2024 11:49 22s main
February 16, 2024 11:49 22s
fixes
Lint #6: Commit e2f11a7 pushed by PhilippvK
February 16, 2024 11:48 19s philippvk
February 16, 2024 11:48 19s
Update demo.py
Lint #5: Commit 21e588d pushed by PhilippvK
February 15, 2024 12:07 21s main
February 15, 2024 12:07 21s
Usage Demo (Manual)
Usage Demo (Manual) #3: Manually run by PhilippvK
February 15, 2024 11:02 1h 1m 35s main
February 15, 2024 11:02 1h 1m 35s
update ci
Lint #4: Commit 94b1526 pushed by PhilippvK
February 15, 2024 11:02 27s philippvk
February 15, 2024 11:02 27s
update ci
Lint #3: Commit 94b1526 pushed by PhilippvK
February 15, 2024 11:01 24s main
February 15, 2024 11:01 24s
update ci
Lint #2: Commit d10bfe3 pushed by PhilippvK
February 15, 2024 11:00 23s main
February 15, 2024 11:00 23s
Usage Demo (Manual)
Usage Demo (Manual) #2: Manually run by PhilippvK
February 15, 2024 10:45 48s main
February 15, 2024 10:45 48s
add linting ci job
Lint #1: Commit 6046795 pushed by PhilippvK
February 15, 2024 10:45 28s main
February 15, 2024 10:45 28s
Usage Demo (Manual)
Usage Demo (Manual) #1: Manually run by PhilippvK
February 15, 2024 10:39 37s main
February 15, 2024 10:39 37s
ProTip! You can narrow down the results and go further in time using created:<2024-02-15 or the other filters available.