Skip to content

Actions: tum-ei-eda/seal5

Actions

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

add ci job to build shpinx docs Lint #61: Commit 996ebe5 pushed by PhilippvK
April 26, 2024 12:39 18s feature-sphinx
feature-sphinx
April 26, 2024 12:39 18s
add initial sphinx doc infrastructure (#16) Lint #60: Commit a4df17a pushed by PhilippvK
April 26, 2024 12:33 22s feature-sphinx
feature-sphinx
April 26, 2024 12:33 22s
support custom meta_dir location Lint #59: Commit 80f9854 pushed by PhilippvK
April 25, 2024 09:50 20s feature-custom-meta-dir
feature-custom-meta-dir
April 25, 2024 09:50 20s
Merge branch 'main' of https://github.com/tum-ei-eda/seal5 into main Lint #58: Commit 84ad68c pushed by PhilippvK
April 25, 2024 09:48 24s main
main
April 25, 2024 09:48 24s
Merge pull request #63 from tum-ei-eda/respect_build_type Lint #57: Commit 342df72 pushed by PhilippvK
April 19, 2024 09:53 25s main
main
April 19, 2024 09:53 25s
Make Debug flag subordinate to any CMAKE_BUILD_TYPE Lint #56: Pull request #63 opened by thomasgoodfellow
April 19, 2024 09:31 28s respect_build_type
respect_build_type
April 19, 2024 09:31 28s
Debug flag subordinate to any CMAKE_BUILD_TYPE Lint #55: Commit ca0ec66 pushed by thomasgoodfellow
April 19, 2024 09:29 28s respect_build_type
respect_build_type
April 19, 2024 09:29 28s
Usage Demo (Manual) Usage Demo (Manual) #10: Manually run by PhilippvK
March 29, 2024 09:26 2h 54m 32s main
main
March 29, 2024 09:26 2h 54m 32s
add missing file: seal5/tools/git.py Lint #54: Commit 3a2132f pushed by PhilippvK
March 29, 2024 09:26 23s main
main
March 29, 2024 09:26 23s
Usage Demo (Manual) Usage Demo (Manual) #9: Manually run by PhilippvK
March 29, 2024 09:19 1m 1s main
main
March 29, 2024 09:19 1m 1s
define git actor for repo.create_tag command (fix) Lint #53: Commit 82a5630 pushed by PhilippvK
March 29, 2024 09:06 23s main
main
March 29, 2024 09:06 23s
Usage Demo (Manual) Usage Demo (Manual) #8: Manually run by PhilippvK
March 28, 2024 16:53 19m 49s main
main
March 28, 2024 16:53 19m 49s
demos: disable PREPATCHED by default Lint #52: Commit 2633669 pushed by PhilippvK
March 28, 2024 16:53 28s main
main
March 28, 2024 16:53 28s
Usage Demo (Manual) Usage Demo (Manual) #7: Manually run by PhilippvK
March 28, 2024 16:20 1m 22s main
main
March 28, 2024 16:20 1m 22s
Merge pull request #60 from tum-ei-eda/philippvk-new Lint #51: Commit 6631b40 pushed by PhilippvK
March 28, 2024 16:18 31s main
main
March 28, 2024 16:18 31s
Draft: Recent Changes Lint #50: Pull request #60 synchronize by PhilippvK
March 28, 2024 16:15 24s philippvk-new
philippvk-new
March 28, 2024 16:15 24s
[lint] make flake8 happy Lint #49: Commit af31695 pushed by PhilippvK
March 28, 2024 16:15 24s philippvk-new
philippvk-new
March 28, 2024 16:15 24s
Draft: Recent Changes Lint #48: Pull request #60 synchronize by PhilippvK
March 28, 2024 09:51 26s philippvk-new
philippvk-new
March 28, 2024 09:51 26s
[CI] .github/workflows/demo.yml: allow chooing script name for demo Lint #47: Commit 39b5e22 pushed by PhilippvK
March 28, 2024 09:51 28s philippvk-new
philippvk-new
March 28, 2024 09:51 28s
Draft: Recent Changes Lint #46: Pull request #60 synchronize by PhilippvK
March 27, 2024 19:30 23s philippvk-new
philippvk-new
March 27, 2024 19:30 23s
small fix for seal5.backends.coredsl2.writer when list of operands is… Lint #45: Commit b4f9eab pushed by PhilippvK
March 27, 2024 19:30 27s philippvk-new
philippvk-new
March 27, 2024 19:30 27s
Draft: Recent Changes Lint #44: Pull request #60 synchronize by PhilippvK
March 26, 2024 12:59 22s philippvk-new
philippvk-new
March 26, 2024 12:59 22s
update demo Lint #43: Commit 9ffb140 pushed by PhilippvK
March 26, 2024 12:59 28s philippvk-new
philippvk-new
March 26, 2024 12:59 28s
Draft: Recent Changes Lint #42: Pull request #60 synchronize by PhilippvK
March 19, 2024 09:55 28s philippvk-new
philippvk-new
March 19, 2024 09:55 28s
fix prefix overrides Lint #41: Commit b42577f pushed by PhilippvK
March 19, 2024 09:55 23s philippvk-new
philippvk-new
March 19, 2024 09:55 23s
ProTip! You can narrow down the results and go further in time using created:<2024-03-19 or the other filters available.