Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
431 workflow runs
431 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #517 from VeriFIT/optimise-delta #patch
Python-Binding (build-&-test) #1552: Commit 2909a73 pushed by Adda0
4m 3s devel
Nft Product Bug (#515) #patch
Python-Binding (build-&-test) #1548: Commit 2326768 pushed by Adda0
3m 14s devel
Compose for Nonconsecutive Synchronization Levels
Python-Binding (build-&-test) #1547: Pull request #514 synchronize by koniksedy
3m 32s sync_levels
Nft Product Bug
Python-Binding (build-&-test) #1546: Pull request #515 synchronize by koniksedy
Nft Product Bug
Python-Binding (build-&-test) #1545: Pull request #515 opened by koniksedy
Compose for Nonconsecutive Synchronization Levels
Python-Binding (build-&-test) #1544: Pull request #514 synchronize by koniksedy
3m 52s sync_levels
Merge pull request #510 from VeriFIT/union_and_product #minor
Python-Binding (build-&-test) #1540: Commit 4b88a6a pushed by Adda0
3m 21s devel
ProTip! You can narrow down the results and go further in time using created:<2025-04-04 or the other filters available.