Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-binding.yml
502 workflow runs
502 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #617 from VeriFIT/Adda0-update-email #patch Python-Binding (build-&-test) #1973: Commit 4e9a8fc pushed by Adda0
4m 26s devel
devel
4m 26s
docs: Update author's e-mail Python-Binding (build-&-test) #1972: Pull request #617 opened by Adda0
6m 26s Adda0-patch-1
Adda0-patch-1
6m 26s
Merge pull request #615 from VeriFIT/nix-mata-py-docs Python-Binding (build-&-test) #1971: Commit 27bd0e5 pushed by Adda0
4m 21s devel
devel
4m 21s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1970: Pull request #615 synchronize by Adda0
4m 22s nix-mata-py-docs
nix-mata-py-docs
4m 22s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1969: Pull request #615 synchronize by Adda0
4m 18s nix-mata-py-docs
nix-mata-py-docs
4m 18s
feat(nix): Build documentation and Python bindings in Nix Python-Binding (build-&-test) #1968: Pull request #615 synchronize by Adda0
4m 20s nix-mata-py-docs
nix-mata-py-docs
4m 20s
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