Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Optimize defragmentation Python-Binding (build-&-test) #1892: Pull request #552 synchronize by Adda0
3m 54s defragmentation
defragmentation
3m 54s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1891: Pull request #602 synchronize by Adda0
3m 37s trim-out-of-place
trim-out-of-place
3m 37s
perf(strings): Disable reducing the trimmed NFTs Python-Binding (build-&-test) #1890: Pull request #604 synchronize by Adda0
3m 42s no-reduce-for-segment-nfas
no-reduce-for-segment-nfas
3m 42s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1889: Pull request #601 synchronize by Adda0
3m 37s out-of-place-trim
out-of-place-trim
3m 37s
feat(nft): Implement complementation for NFTs Python-Binding (build-&-test) #1888: Pull request #591 synchronize by Adda0
4m 6s complement
complement
4m 6s
perf(strings): Disable reducing the trimmed NFTs Python-Binding (build-&-test) #1887: Pull request #604 synchronize by Adda0
3m 30s no-reduce-for-segment-nfas
no-reduce-for-segment-nfas
3m 30s
Optimize defragmentation Python-Binding (build-&-test) #1886: Pull request #552 synchronize by Adda0
3m 44s defragmentation
defragmentation
3m 44s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1885: Pull request #601 synchronize by Adda0
3m 51s out-of-place-trim
out-of-place-trim
3m 51s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1884: Pull request #602 synchronize by Adda0
3m 23s trim-out-of-place
trim-out-of-place
3m 23s
feat(nft): Implement complementation for NFTs Python-Binding (build-&-test) #1883: Pull request #591 synchronize by Adda0
3m 45s complement
complement
3m 45s
Merge pull request #603 from VeriFIT/cmake_target #patch Python-Binding (build-&-test) #1882: Commit fe5ec38 pushed by Adda0
3m 36s devel
devel
3m 36s
Add support for exporting mata as a package Python-Binding (build-&-test) #1881: Pull request #603 synchronize by jurajsic
3m 50s cmake_target
cmake_target
3m 50s
perf(strings): Disable reducing the trimmed NFTs Python-Binding (build-&-test) #1880: Pull request #604 opened by Adda0
3m 55s no-reduce-for-segment-nfas
no-reduce-for-segment-nfas
3m 55s
Add support for exporting mata as a package Python-Binding (build-&-test) #1879: Pull request #603 opened by jurajsic
3m 30s cmake_target
cmake_target
3m 30s
refactor(strings): Refactors noodlification to better utilize the out-of-place trimming Python-Binding (build-&-test) #1878: Pull request #602 opened by Adda0
3m 46s trim-out-of-place
trim-out-of-place
3m 46s
feat(nfa): Implement out-of-place variant of trim() Python-Binding (build-&-test) #1877: Pull request #601 opened by Adda0
3m 55s out-of-place-trim
out-of-place-trim
3m 55s
Optimize defragmentation Python-Binding (build-&-test) #1876: Pull request #552 synchronize by Adda0
3m 32s defragmentation
defragmentation
3m 32s