Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-binding.yml
511 workflow runs
511 workflow runs

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
Composition without epsilon self-loops Python-Binding (build-&-test) #1942: Pull request #550 synchronize by koniksedy
3m 26s composition-wip
composition-wip
3m 26s
Composition without epsilon self-loops Python-Binding (build-&-test) #1941: Pull request #550 synchronize by koniksedy
3m 32s composition-wip
composition-wip
3m 32s
Merge pull request #607 from VeriFIT/format #patch Python-Binding (build-&-test) #1940: Commit ead2f90 pushed by Adda0
3m 36s devel
devel
3m 36s
fmt(strings): Format noodlification Python-Binding (build-&-test) #1939: Pull request #607 synchronize by Adda0
3m 28s format
format
3m 28s
Merge pull request #601 from VeriFIT/out-of-place-trim #minor Python-Binding (build-&-test) #1938: Commit 47a2b02 pushed by Adda0
3m 30s devel
devel
3m 30s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1937: Pull request #601 synchronize by Adda0
3m 26s out-of-place-trim
out-of-place-trim
3m 26s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1936: Pull request #601 synchronize by Adda0
3m 47s out-of-place-trim
out-of-place-trim
3m 47s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1935: Pull request #601 synchronize by Adda0
3m 37s out-of-place-trim
out-of-place-trim
3m 37s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1934: Pull request #601 synchronize by Adda0
3m 28s out-of-place-trim
out-of-place-trim
3m 28s
Merge pull request #608 from xywang18/devel #patch Python-Binding (build-&-test) #1933: Commit c16f955 pushed by Adda0
3m 26s devel
devel
3m 26s
fix a build error in mingw64 environment Python-Binding (build-&-test) #1932: Pull request #608 opened by xywang18
3m 53s xywang18:devel
xywang18:devel
3m 53s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1931: Pull request #601 synchronize by Adda0
3m 37s out-of-place-trim
out-of-place-trim
3m 37s
fmt(strings): Format noodlification Python-Binding (build-&-test) #1930: Pull request #607 opened by Adda0
3m 36s format
format
3m 36s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1929: Pull request #601 synchronize by Adda0
3m 27s out-of-place-trim
out-of-place-trim
3m 27s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1928: Pull request #601 synchronize by Adda0
4m 4s out-of-place-trim
out-of-place-trim
4m 4s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1927: Pull request #601 synchronize by Adda0
3m 34s out-of-place-trim
out-of-place-trim
3m 34s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1926: Pull request #602 synchronize by Adda0
3m 24s trim-out-of-place
trim-out-of-place
3m 24s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1925: Pull request #601 synchronize by Adda0
3m 28s out-of-place-trim
out-of-place-trim
3m 28s
Merge pull request #552 from VeriFIT/defragmentation #minor Python-Binding (build-&-test) #1924: Commit 1d67b4e pushed by Adda0
3m 38s devel
devel
3m 38s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1923: Pull request #601 synchronize by Adda0
3m 40s out-of-place-trim
out-of-place-trim
3m 40s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1922: Pull request #602 synchronize by Adda0
3m 24s trim-out-of-place
trim-out-of-place
3m 24s
Optimize defragmentation Python-Binding (build-&-test) #1921: Pull request #552 synchronize by Adda0
3m 39s defragmentation
defragmentation
3m 39s
Merge pull request #606 from VeriFIT/fix-warning #patch Python-Binding (build-&-test) #1920: Commit db77a58 pushed by Adda0
3m 48s devel
devel
3m 48s
fix: Prevent copying in structured binding to prevent warnings Python-Binding (build-&-test) #1919: Pull request #606 opened by Adda0
3m 51s fix-warning
fix-warning
3m 51s
perf(strings): Disable reducing the trimmed NFTs Python-Binding (build-&-test) #1918: Pull request #604 synchronize by Adda0
3m 23s no-reduce-for-segment-nfas
no-reduce-for-segment-nfas
3m 23s