Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-binding.yml
512 workflow runs
512 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
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1967: Pull request #615 synchronize by Adda0
4m 25s nix-mata-py-docs
nix-mata-py-docs
4m 25s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1966: Pull request #615 synchronize by Adda0
4m 43s nix-mata-py-docs
nix-mata-py-docs
4m 43s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1965: Pull request #615 synchronize by Adda0
4m 10s nix-mata-py-docs
nix-mata-py-docs
4m 10s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1964: Pull request #615 synchronize by Adda0
4m 15s nix-mata-py-docs
nix-mata-py-docs
4m 15s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1963: Pull request #615 synchronize by Adda0
4m 31s nix-mata-py-docs
nix-mata-py-docs
4m 31s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1962: Pull request #615 synchronize by Adda0
4m 29s nix-mata-py-docs
nix-mata-py-docs
4m 29s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1961: Pull request #615 synchronize by Adda0
4m 19s nix-mata-py-docs
nix-mata-py-docs
4m 19s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1960: Pull request #615 synchronize by Adda0
6s nix-mata-py-docs
nix-mata-py-docs
6s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1959: Pull request #615 synchronize by Adda0
4m 17s nix-mata-py-docs
nix-mata-py-docs
4m 17s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1958: Pull request #615 synchronize by Adda0
4m 25s nix-mata-py-docs
nix-mata-py-docs
4m 25s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1957: Pull request #615 synchronize by Adda0
4m 30s nix-mata-py-docs
nix-mata-py-docs
4m 30s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1956: Pull request #615 synchronize by Adda0
4m 30s nix-mata-py-docs
nix-mata-py-docs
4m 30s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1955: Pull request #615 synchronize by Adda0
18s nix-mata-py-docs
nix-mata-py-docs
18s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1954: Pull request #615 synchronize by Adda0
27s nix-mata-py-docs
nix-mata-py-docs
27s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1953: Pull request #615 opened by Adda0
12s nix-mata-py-docs
nix-mata-py-docs
12s
Merge pull request #614 from bruderjakob17/nft_unite_nondet_with_leve… Python-Binding (build-&-test) #1952: Commit d84b5ce pushed by Adda0
4m 49s devel
devel
4m 49s
Bug fix: update levels in Nft::unite_nondet_with Python-Binding (build-&-test) #1951: Pull request #614 opened by bruderjakob17
3m 35s bruderjakob17:nft_unite_nondet_with_levels_fix
bruderjakob17:nft_unite_nondet_with_levels_fix
3m 35s
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