Skip to content

Actions: arincdemir/do-verify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #32 from arincdemir/discrete-optimization CI #42: Commit fc50197 pushed by arincdemir
7m 15s main
main
7m 15s
Discrete optimization CI #41: Pull request #32 opened by arincdemir
6m 40s discrete-optimization
discrete-optimization
6m 40s
Merge pull request #31 from arincdemir/synthetic-formulas CI #40: Commit 4f8ccda pushed by arincdemir
7m 1s main
main
7m 1s
created a node counting binary for deduplication reducement calculations CI #39: Pull request #31 opened by arincdemir
15m 25s synthetic-formulas
synthetic-formulas
15m 25s
Merge pull request #30 from arincdemir/binary-app CI #38: Commit 4e1138d pushed by arincdemir
6m 11s main
main
6m 11s
Binary app CI #37: Pull request #30 opened by arincdemir
6m 53s binary-app
binary-app
6m 53s
CI CI #36: by arincdemir
6m 30s main
main
6m 30s
Refactor proposition_map for performance improvements CI #35: Pull request #28 opened by arincdemir
6m 36s cache-hits
cache-hits
6m 36s
Merge pull request #27 from arincdemir/multi-property-benchmark CI #34: Commit 5eda939 pushed by arincdemir
6m 18s main
main
6m 18s
Add grammar checking utility and update timescales benchmarks CI #33: Pull request #27 opened by arincdemir
6m 29s multi-property-benchmark
multi-property-benchmark
6m 29s
Merge pull request #20 from arincdemir/fast-json-read CI #32: Commit d1d4fdb pushed by arincdemir
7m 33s main
main
7m 33s
Fast json read CI #31: Pull request #20 opened by arincdemir
6m 23s fast-json-read
fast-json-read
6m 23s
Merge pull request #17 from arincdemir/multi-property CI #30: Commit d938973 pushed by arincdemir
6m 17s main
main
6m 17s
Multi-property monitor CI #29: Pull request #17 reopened by arincdemir
6m 6s multi-property
multi-property
6m 6s
Multi-property monitor CI #28: Pull request #17 synchronize by arincdemir
6m 7s multi-property
multi-property
6m 7s
Multi-property monitor CI #27: Pull request #17 opened by arincdemir
5m 41s multi-property
multi-property
5m 41s
Merge pull request #16 from arincdemir/parser CI #26: Commit 7fdfd06 pushed by arincdemir
5m 23s main
main
5m 23s
Parser CI #25: Pull request #16 opened by arincdemir
5m 17s parser
parser
5m 17s
Merge pull request #10 from arincdemir/perf-optimizations CI #24: Commit a302ee9 pushed by arincdemir
4m 23s main
main
4m 23s
Perf optimizations CI #23: Pull request #10 opened by arincdemir
4m 2s perf-optimizations
perf-optimizations
4m 2s
Merge pull request #9 from arincdemir/dense-main-file CI #22: Commit a4d8f15 pushed by arincdemir
3m 54s main
main
3m 54s
added the dense implementation to the main file in a hardcoded way CI #21: Pull request #9 opened by arincdemir
4m 7s dense-main-file
dense-main-file
4m 7s
exclude main.cpp in the xml report so that codecov doesn't check it. CI #20: Commit b0f76e0 pushed by arincdemir
4m 17s main
main
4m 17s
Merge pull request #8 from arincdemir/discrete-implementation CI #19: Commit 2766f16 pushed by arincdemir
4m 36s main
main
4m 36s
Discrete implementation CI #18: Pull request #8 synchronize by arincdemir
3m 59s discrete-implementation
discrete-implementation
3m 59s