Skip to content

Actions: tum-ei-eda/seal5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Sphinx Integration for Documentation Build Documentation #4: Pull request #79 synchronize by PhilippvK
April 26, 2024 12:48 18s feature-sphinx
feature-sphinx
April 26, 2024 12:48 18s
fix typo in flake8 config Lint #67: Commit 53b8c25 pushed by PhilippvK
April 26, 2024 12:48 24s feature-sphinx
feature-sphinx
April 26, 2024 12:48 24s
Add Sphinx Integration for Documentation Build Documentation #3: Pull request #79 synchronize by PhilippvK
April 26, 2024 12:43 13s feature-sphinx
feature-sphinx
April 26, 2024 12:43 13s
Add Sphinx Integration for Documentation Lint #66: Pull request #79 synchronize by PhilippvK
April 26, 2024 12:43 21s feature-sphinx
feature-sphinx
April 26, 2024 12:43 21s
lint code Lint #65: Commit 3006bfe pushed by PhilippvK
April 26, 2024 12:43 21s feature-sphinx
feature-sphinx
April 26, 2024 12:43 21s
Add Sphinx Integration for Documentation Build Documentation #2: Pull request #79 synchronize by PhilippvK
April 26, 2024 12:41 18s feature-sphinx
feature-sphinx
April 26, 2024 12:41 18s
Add Sphinx Integration for Documentation Lint #64: Pull request #79 synchronize by PhilippvK
April 26, 2024 12:41 24s feature-sphinx
feature-sphinx
April 26, 2024 12:41 24s
lint code Lint #63: Commit e5447b4 pushed by PhilippvK
April 26, 2024 12:41 20s feature-sphinx
feature-sphinx
April 26, 2024 12:41 20s
Add Sphinx Integration for Documentation Build Documentation #1: Pull request #79 opened by PhilippvK
April 26, 2024 12:41 15s feature-sphinx
feature-sphinx
April 26, 2024 12:41 15s
Add Sphinx Integration for Documentation Lint #62: Pull request #79 opened by PhilippvK
April 26, 2024 12:41 23s feature-sphinx
feature-sphinx
April 26, 2024 12:41 23s
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
ProTip! You can narrow down the results and go further in time using created:<2024-03-28 or the other filters available.