Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
493 workflow runs
493 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #610 from Adda0/flake-check #patch
Python-Binding (build-&-test) #1949: Commit 1c39000 pushed by Adda0
3m 42s devel
feat(nix): Set nix flake checks
Python-Binding (build-&-test) #1948: Pull request #610 opened by Adda0
Composition without epsilon self-loops
Python-Binding (build-&-test) #1947: Pull request #550 synchronize by koniksedy
Composition without epsilon self-loops
Python-Binding (build-&-test) #1946: Pull request #550 synchronize by koniksedy
Composition without epsilon self-loops
Python-Binding (build-&-test) #1945: Pull request #550 synchronize by koniksedy
Composition without epsilon self-loops
Python-Binding (build-&-test) #1944: Pull request #550 synchronize by koniksedy
Composition without epsilon self-loops
Python-Binding (build-&-test) #1943: Pull request #550 synchronize by koniksedy
Composition without epsilon self-loops
Python-Binding (build-&-test) #1942: Pull request #550 synchronize by koniksedy
Composition without epsilon self-loops
Python-Binding (build-&-test) #1941: Pull request #550 synchronize by koniksedy
Merge pull request #607 from VeriFIT/format #patch
Python-Binding (build-&-test) #1940: Commit ead2f90 pushed by Adda0
3m 36s devel
fmt(strings): Format noodlification
Python-Binding (build-&-test) #1939: Pull request #607 synchronize by Adda0
3m 28s format
Merge pull request #601 from VeriFIT/out-of-place-trim #minor
Python-Binding (build-&-test) #1938: Commit 47a2b02 pushed by Adda0
3m 30s devel
Merge pull request #608 from xywang18/devel #patch
Python-Binding (build-&-test) #1933: Commit c16f955 pushed by Adda0
3m 26s devel
fix a build error in mingw64 environment
Python-Binding (build-&-test) #1932: Pull request #608 opened by xywang18
fmt(strings): Format noodlification
Python-Binding (build-&-test) #1930: Pull request #607 opened by Adda0
3m 36s format