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
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1917: Pull request #602 synchronize by Adda0
3m 34s trim-out-of-place
trim-out-of-place
3m 34s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1916: Pull request #601 synchronize by Adda0
3m 30s out-of-place-trim
out-of-place-trim
3m 30s
feat(cmake): Update C++ standard to C++23 Python-Binding (build-&-test) #1915: Pull request #588 synchronize by Adda0
3m 33s cpp23
cpp23
3m 33s
Optimize defragmentation Python-Binding (build-&-test) #1914: Pull request #552 synchronize by Adda0
3m 34s defragmentation
defragmentation
3m 34s
Merge pull request #591 from VeriFIT/complement #minor Python-Binding (build-&-test) #1913: Commit 0092213 pushed by Adda0
3m 29s devel
devel
3m 29s
perf(strings): Disable reducing the trimmed NFTs Python-Binding (build-&-test) #1912: Pull request #604 synchronize by Adda0
3m 42s no-reduce-for-segment-nfas
no-reduce-for-segment-nfas
3m 42s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1911: Pull request #602 synchronize by Adda0
3m 36s trim-out-of-place
trim-out-of-place
3m 36s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1910: Pull request #601 synchronize by Adda0
3m 32s out-of-place-trim
out-of-place-trim
3m 32s
Optimize defragmentation Python-Binding (build-&-test) #1909: Pull request #552 synchronize by Adda0
3m 38s defragmentation
defragmentation
3m 38s
feat(nft): Implement complementation for NFTs Python-Binding (build-&-test) #1908: Pull request #591 synchronize by Adda0
3m 51s complement
complement
3m 51s
perf(strings): Disable reducing the trimmed NFTs Python-Binding (build-&-test) #1907: Pull request #604 synchronize by Adda0
3m 49s no-reduce-for-segment-nfas
no-reduce-for-segment-nfas
3m 49s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1906: Pull request #602 synchronize by Adda0
3m 30s trim-out-of-place
trim-out-of-place
3m 30s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1905: Pull request #601 synchronize by Adda0
3m 38s out-of-place-trim
out-of-place-trim
3m 38s
Optimize defragmentation Python-Binding (build-&-test) #1904: Pull request #552 synchronize by Adda0
3m 45s defragmentation
defragmentation
3m 45s
feat(nft): Implement complementation for NFTs Python-Binding (build-&-test) #1903: Pull request #591 synchronize by Adda0
3m 38s complement
complement
3m 38s
feat(just): Allow specifying tests to run with just test Python-Binding (build-&-test) #1902: Pull request #605 synchronize by Adda0
3m 31s justfile-specify-test
justfile-specify-test
3m 31s
feat(just): Allow specifying tests to run with just test Python-Binding (build-&-test) #1901: Pull request #605 synchronize by Adda0
3m 44s justfile-specify-test
justfile-specify-test
3m 44s
feat(just): Allow specifying tests to run with just test Python-Binding (build-&-test) #1900: Pull request #605 opened by Adda0
3m 13s justfile-specify-test
justfile-specify-test
3m 13s
feat(cmake): Update C++ standard to C++23 Python-Binding (build-&-test) #1899: Pull request #588 synchronize by Adda0
3m 31s cpp23
cpp23
3m 31s
perf(strings): Disable reducing the trimmed NFTs Python-Binding (build-&-test) #1898: Pull request #604 synchronize by Adda0
3m 49s no-reduce-for-segment-nfas
no-reduce-for-segment-nfas
3m 49s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1897: Pull request #602 synchronize by Adda0
3m 29s trim-out-of-place
trim-out-of-place
3m 29s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1896: Pull request #601 synchronize by Adda0
3m 40s out-of-place-trim
out-of-place-trim
3m 40s
Optimize defragmentation Python-Binding (build-&-test) #1895: Pull request #552 synchronize by Adda0
3m 35s defragmentation
defragmentation
3m 35s
feat(nft): Implement complementation for NFTs Python-Binding (build-&-test) #1894: Pull request #591 synchronize by Adda0
3m 41s complement
complement
3m 41s
feat(nft): Implement complementation for NFTs Python-Binding (build-&-test) #1893: Pull request #591 synchronize by Adda0
3m 40s complement
complement
3m 40s