Skip to content

Actions: tum-ei-eda/seal5

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
699 workflow runs
699 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Usage Demo (Weekly)
Usage Demo (Weekly) #41: Scheduled
November 16, 2024 00:18 16m 13s main
November 16, 2024 00:18 16m 13s
November 14, 2024 01:56 17s
November 14, 2024 01:52 17s
seal5/pass_list.py: fix
Lint #439: Commit 5c1807e pushed by PhilippvK
November 14, 2024 01:49 17s future-paper
November 14, 2024 01:49 17s
Usage Demo (Weekly)
Usage Demo (Weekly) #40: Manually run by PhilippvK
November 12, 2024 10:00 16m 9s main
November 12, 2024 10:00 16m 9s
fix demo.sh
Build Documentation #153: Commit 4470c2e pushed by PhilippvK
November 12, 2024 10:00 1m 8s main
November 12, 2024 10:00 1m 8s
fix demo.sh
Lint #438: Commit 4470c2e pushed by PhilippvK
November 12, 2024 10:00 21s main
November 12, 2024 10:00 21s
Usage Demo (Weekly)
Usage Demo (Weekly) #39: Manually run by PhilippvK
November 12, 2024 09:42 15m 37s main
November 12, 2024 09:42 15m 37s
check_pattern_support update
Build Documentation #152: Commit 0bd59da pushed by PhilippvK
November 12, 2024 09:41 1m 15s main
November 12, 2024 09:41 1m 15s
check_pattern_support update
Lint #437: Commit 0bd59da pushed by PhilippvK
November 12, 2024 09:41 25s main
November 12, 2024 09:41 25s
pages build and deployment
pages-build-deployment #21: by github-pages bot
November 12, 2024 09:38 28s
November 12, 2024 09:38 28s
lint and fix detect_imm_leafs for empty behav
Build Documentation #151: Commit e45abd7 pushed by PhilippvK
November 12, 2024 09:37 1m 17s main
November 12, 2024 09:37 1m 17s
lint and fix detect_imm_leafs for empty behav
Lint #436: Commit e45abd7 pushed by PhilippvK
November 12, 2024 09:37 23s main
November 12, 2024 09:37 23s
demo.sh: fix typo
Lint #435: Commit 9584750 pushed by PhilippvK
November 11, 2024 15:57 25s main
November 11, 2024 15:57 25s
demo.sh: fix typo
Build Documentation #150: Commit 9584750 pushed by PhilippvK
November 11, 2024 15:57 1m 10s main
November 11, 2024 15:57 1m 10s
Usage Demo (Weekly)
Usage Demo (Weekly) #38: Manually run by PhilippvK
November 11, 2024 15:32 20m 27s main
November 11, 2024 15:32 20m 27s
model: add SKIP_PATTERN_GEN (unimplemented)
Build Documentation #149: Commit eaf29d7 pushed by PhilippvK
November 11, 2024 15:32 1m 20s main
November 11, 2024 15:32 1m 20s
model: add SKIP_PATTERN_GEN (unimplemented)
Lint #434: Commit eaf29d7 pushed by PhilippvK
November 11, 2024 15:32 23s main
November 11, 2024 15:32 23s
test results report: handle empty df
Lint #433: Commit 5536f4e pushed by PhilippvK
November 10, 2024 20:26 20s main
November 10, 2024 20:26 20s
test results report: handle empty df
Build Documentation #148: Commit 5536f4e pushed by PhilippvK
November 10, 2024 20:26 1m 6s main
November 10, 2024 20:26 1m 6s
times report: sort after groupby
Build Documentation #147: Commit f37eb5f pushed by PhilippvK
November 10, 2024 19:47 1m 5s main
November 10, 2024 19:47 1m 5s
times report: sort after groupby
Lint #432: Commit f37eb5f pushed by PhilippvK
November 10, 2024 19:47 18s main
November 10, 2024 19:47 18s
ci: fix
Lint #431: Commit 823432a pushed by PhilippvK
November 9, 2024 17:25 22s main
November 9, 2024 17:25 22s
ci: fix
Build Documentation #146: Commit 823432a pushed by PhilippvK
November 9, 2024 17:25 1m 10s main
November 9, 2024 17:25 1m 10s
Usage Demo (Weekly)
Usage Demo (Weekly) #37: Manually run by PhilippvK
November 9, 2024 16:45 17m 38s main
November 9, 2024 16:45 17m 38s