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

Apply small refactorizations
Python-Binding (build-&-test) #1653: Pull request #551 synchronize by Adda0
Composition without epsilon self-loops
Python-Binding (build-&-test) #1650: Pull request #550 synchronize by koniksedy
Add at, min, and max methods for OrdVector
Python-Binding (build-&-test) #1649: Pull request #555 opened by koniksedy
3m 48s ord_vec
Optimize defragmentation
Python-Binding (build-&-test) #1645: Pull request #552 synchronize by Adda0
Apply small refactorizations
Python-Binding (build-&-test) #1644: Pull request #551 synchronize by Adda0
Apply small refactorizations
Python-Binding (build-&-test) #1643: Pull request #551 synchronize by Adda0
Optimize defragmentation
Python-Binding (build-&-test) #1642: Pull request #552 synchronize by Adda0
Optimize defragmentation
Python-Binding (build-&-test) #1641: Pull request #552 opened by Adda0
Apply small refactorizations
Python-Binding (build-&-test) #1640: Pull request #551 opened by Adda0
Composition without epsilon self-loops
Python-Binding (build-&-test) #1639: Pull request #550 opened by koniksedy
Merge pull request #546 from VeriFIT/release-update #minor
Python-Binding (build-&-test) #1636: Commit 2fef659 pushed by Adda0
3m 39s devel
chore: Update checkout GitHub Action
Python-Binding (build-&-test) #1635: Pull request #546 opened by Adda0
Merge pull request #545 from VeriFIT/release-update #patch
Python-Binding (build-&-test) #1634: Commit a1114f8 pushed by Adda0
3m 32s devel
Merge pull request #543 from ImpleLee/add-pyi #minor
Python-Binding (build-&-test) #1632: Commit 73d3d79 pushed by Adda0
3m 33s devel
add python annotation files
Python-Binding (build-&-test) #1631: Pull request #543 synchronize by ImpleLee
add python annotation files
Python-Binding (build-&-test) #1630: Pull request #543 synchronize by ImpleLee
Merge pull request #541 from VeriFIT/renaming #minor
Python-Binding (build-&-test) #1629: Commit 56a4259 pushed by Adda0
3m 27s devel