Skip to content

Actions: VeriFIT/mata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,053 workflow runs
1,053 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
pages build and deployment
pages-build-deployment #98: by github-pages bot
24s gh-pages
24s
fmt(strings): Format noodlification
Code Quality #1017: Pull request #607 synchronize by Adda0
7m 49s format
fmt(strings): Format noodlification
Python-Binding (build-&-test) #1939: Pull request #607 synchronize by Adda0
3m 28s format