Skip to content

Actions: seqan/hibf_benchmarks

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
393 workflow runs
393 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #6 from eseiler/misc/better_css_overwrite
Lint #9: Commit ee33711 pushed by eseiler
December 12, 2023 19:52 37s main
December 12, 2023 19:52 37s
pages build and deployment
pages-build-deployment #9: by eseiler
December 12, 2023 19:52 51s main
December 12, 2023 19:52 51s
Merge pull request #5 from eseiler/misc/style
Lint #7: Commit f49f374 pushed by eseiler
December 12, 2023 19:37 47s main
December 12, 2023 19:37 47s
pages build and deployment
pages-build-deployment #8: by eseiler
December 12, 2023 19:37 52s main
December 12, 2023 19:37 52s
[MISC] Style adaptations
Lint #6: Pull request #5 opened by eseiler
December 12, 2023 19:36 46s eseiler:misc/style
December 12, 2023 19:36 46s
Merge pull request #4 from eseiler/infra/requirements
Lint #5: Commit acd1be8 pushed by eseiler
December 12, 2023 16:41 44s main
December 12, 2023 16:41 44s
pages build and deployment
pages-build-deployment #7: by eseiler
December 12, 2023 16:41 54s main
December 12, 2023 16:41 54s
[INFRA] Add requirements.txt
Lint #4: Pull request #4 opened by eseiler
December 12, 2023 16:40 48s eseiler:infra/requirements
December 12, 2023 16:40 48s
Merge pull request #3 from eseiler/infra/lint
Lint #3: Commit 2a69d39 pushed by eseiler
December 12, 2023 16:17 38s main
December 12, 2023 16:17 38s
pages build and deployment
pages-build-deployment #6: by eseiler
December 12, 2023 16:17 48s main
December 12, 2023 16:17 48s
[INFRA] Add linting
Lint #2: Pull request #3 synchronize by eseiler
December 12, 2023 16:16 42s eseiler:infra/lint
December 12, 2023 16:16 42s
[INFRA] Add linting
Lint #1: Pull request #3 opened by eseiler
December 12, 2023 16:15 29s eseiler:infra/lint
December 12, 2023 16:15 29s
pages build and deployment
pages-build-deployment #5: by eseiler
December 12, 2023 13:25 51s main
December 12, 2023 13:25 51s
pages build and deployment
pages-build-deployment #4: by eseiler
December 12, 2023 12:21 50s main
December 12, 2023 12:21 50s
pages build and deployment
pages-build-deployment #3: by eseiler
December 11, 2023 16:11 47s main
December 11, 2023 16:11 47s
pages build and deployment
pages-build-deployment #2: by eseiler
December 11, 2023 16:09 47s main
December 11, 2023 16:09 47s
pages build and deployment
pages-build-deployment #1: by eseiler
December 11, 2023 16:06 55s main
December 11, 2023 16:06 55s
ProTip! You can narrow down the results and go further in time using created:<2023-12-11 or the other filters available.