Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minimization Python-Binding (build-&-test) #1449: Pull request #476 synchronize by koniksedy
3m 40s minimization
minimization
3m 40s
Merge pull request #477 from VeriFIT/nft-utility-functions Python-Binding (build-&-test) #1448: Commit 066b717 pushed by Adda0
3m 36s devel
devel
3m 36s
Minimization Python-Binding (build-&-test) #1447: Pull request #476 synchronize by koniksedy
3m 25s minimization
minimization
3m 25s
Nft utility functions Python-Binding (build-&-test) #1446: Pull request #477 opened by Adda0
3m 28s nft-utility-functions
nft-utility-functions
3m 28s
Minimization Python-Binding (build-&-test) #1445: Pull request #476 synchronize by koniksedy
3m 13s minimization
minimization
3m 13s
Minimization Python-Binding (build-&-test) #1444: Pull request #476 synchronize by koniksedy
3m 20s minimization
minimization
3m 20s
Minimization Python-Binding (build-&-test) #1443: Pull request #476 synchronize by koniksedy
3m 23s minimization
minimization
3m 23s
Minimization Python-Binding (build-&-test) #1442: Pull request #476 opened by koniksedy
3m 34s minimization
minimization
3m 34s
Merge pull request #465 from VeriFIT/transducers Python-Binding (build-&-test) #1441: Commit c277508 pushed by Adda0
3m 14s devel
devel
3m 14s
Implement nondeterministic finite transducers (NFTs) Python-Binding (build-&-test) #1440: Pull request #465 synchronize by Adda0
3m 29s transducers
transducers
3m 29s
Implement nondeterministic finite transducers (NFTs) Python-Binding (build-&-test) #1439: Pull request #465 synchronize by Adda0
2m 0s transducers
transducers
2m 0s
Merge pull request #475 from VeriFIT/hopcroft Python-Binding (build-&-test) #1438: Commit c211c86 pushed by Adda0
3m 6s devel
devel
3m 6s
Hopcroft's minimization: Valmari and Lehtinen's variant for a partial transition function Python-Binding (build-&-test) #1437: Pull request #475 synchronize by koniksedy
3m 14s hopcroft
hopcroft
3m 14s
Hopcroft's minimization: Valmari and Lehtinen's variant for a partial transition function Python-Binding (build-&-test) #1436: Pull request #475 synchronize by koniksedy
3m 14s hopcroft
hopcroft
3m 14s
Hopcroft's minimization: Valmari and Lehtinen's variant for a partial transition function Python-Binding (build-&-test) #1435: Pull request #475 opened by koniksedy
3m 50s hopcroft
hopcroft
3m 50s
Merge pull request #474 from VeriFIT/wasm-build Python-Binding (build-&-test) #1434: Commit 96a7bc2 pushed by Adda0
3m 20s devel
devel
3m 20s
Support of the WASM build Python-Binding (build-&-test) #1433: Pull request #474 synchronize by vhavlena
3m 17s wasm-build
wasm-build
3m 17s
Support of the WASM build Python-Binding (build-&-test) #1432: Pull request #474 opened by vhavlena
3m 6s wasm-build
wasm-build
3m 6s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1431: Pull request #434 synchronize by samo538
3m 29s samo538:simulation
samo538:simulation
3m 29s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1430: Pull request #434 synchronize by samo538
3m 24s samo538:simulation
samo538:simulation
3m 24s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1429: Pull request #434 synchronize by samo538
3m 21s samo538:simulation
samo538:simulation
3m 21s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1428: Pull request #434 synchronize by samo538
3m 27s samo538:simulation
samo538:simulation
3m 27s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1427: Pull request #434 synchronize by samo538
3m 20s samo538:simulation
samo538:simulation
3m 20s
feat(alphabet): Print to mata format with symbol names on transitions… Python-Binding (build-&-test) #1426: Commit e953d8c pushed by Adda0
3m 10s devel
devel
3m 10s
Print to mata format with symbol names on transitions Python-Binding (build-&-test) #1425: Pull request #473 synchronize by Adda0
3m 15s print_to_mata_with_symbol_names
print_to_mata_with_symbol_names
3m 15s
ProTip! You can narrow down the results and go further in time using created:<2024-11-26 or the other filters available.