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

Nft: tape-specific alphabets Python-Binding (build-&-test) #1950: Pull request #612 opened by bruderjakob17
3m 31s bruderjakob17:nft_tape_alphabets
bruderjakob17:nft_tape_alphabets
3m 31s
Merge pull request #610 from Adda0/flake-check #patch Python-Binding (build-&-test) #1949: Commit 1c39000 pushed by Adda0
3m 42s devel
devel
3m 42s
feat(nix): Set nix flake checks Python-Binding (build-&-test) #1948: Pull request #610 opened by Adda0
3m 47s Adda0:flake-check
Adda0:flake-check
3m 47s
Composition without epsilon self-loops Python-Binding (build-&-test) #1947: Pull request #550 synchronize by koniksedy
4m 3s composition-wip
composition-wip
4m 3s
Composition without epsilon self-loops Python-Binding (build-&-test) #1946: Pull request #550 synchronize by koniksedy
2m 14s composition-wip
composition-wip
2m 14s
Composition without epsilon self-loops Python-Binding (build-&-test) #1945: Pull request #550 synchronize by koniksedy
3m 25s composition-wip
composition-wip
3m 25s
Composition without epsilon self-loops Python-Binding (build-&-test) #1944: Pull request #550 synchronize by koniksedy
3m 42s composition-wip
composition-wip
3m 42s
Composition without epsilon self-loops Python-Binding (build-&-test) #1943: Pull request #550 synchronize by koniksedy
3m 56s composition-wip
composition-wip
3m 56s
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