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
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
feat(nft): Implement complementation for NFTs Python-Binding (build-&-test) #1875: Pull request #591 synchronize by Adda0
4m 25s complement
complement
4m 25s
Merge pull request #599 from VeriFIT/levels-set-assign-behaviour #patch Python-Binding (build-&-test) #1874: Commit e539d10 pushed by Adda0
3m 37s devel
devel
3m 37s
fix(nft): Differentiate between setting num_of_levels in Levels in operator=() and set() functions Python-Binding (build-&-test) #1873: Pull request #599 synchronize by Adda0
3m 31s levels-set-assign-behaviour
levels-set-assign-behaviour
3m 31s
Merge pull request #600 from VeriFIT/simple-refactor #minor Python-Binding (build-&-test) #1872: Commit b48befb pushed by Adda0
3m 57s devel
devel
3m 57s
refactor: Apply simple refactorizations Python-Binding (build-&-test) #1871: Pull request #600 synchronize by Adda0
3m 37s simple-refactor
simple-refactor
3m 37s
Merge pull request #598 from VeriFIT/clang-tidy #patch Python-Binding (build-&-test) #1870: Commit c3d4ecd pushed by Adda0
3m 25s devel
devel
3m 25s
feat(clang-tidy): Add .clang-tidy config file Python-Binding (build-&-test) #1869: Pull request #598 synchronize by Adda0
4m 24s clang-tidy
clang-tidy
4m 24s
refactor: Apply simple refactorizations Python-Binding (build-&-test) #1868: Pull request #600 opened by Adda0
3m 29s simple-refactor
simple-refactor
3m 29s