Skip to content

Actions: VeriFIT/mata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
571 workflow runs
571 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hopcroft's minimization: Valmari and Lehtinen's variant for a partial transition function Python-Binding (build-&-test) #1436: Pull request #475 synchronize by koniksedy
December 2, 2024 08:38 3m 14s hopcroft
hopcroft
December 2, 2024 08:38 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
November 30, 2024 12:41 3m 50s hopcroft
hopcroft
November 30, 2024 12:41 3m 50s
Hopcroft's minimization: Valmari and Lehtinen's variant for a partial transition function Code Quality #590: Pull request #475 opened by koniksedy
November 30, 2024 12:41 9m 49s hopcroft
hopcroft
November 30, 2024 12:41 9m 49s
Support of the WASM build Release #238: Pull request #474 closed by Adda0
November 29, 2024 09:09 4m 49s wasm-build
wasm-build
November 29, 2024 09:09 4m 49s
Merge pull request #474 from VeriFIT/wasm-build Python-Binding (build-&-test) #1434: Commit 96a7bc2 pushed by Adda0
November 29, 2024 09:09 3m 20s devel
devel
November 29, 2024 09:09 3m 20s
Support of the WASM build Python-Binding (build-&-test) #1433: Pull request #474 synchronize by vhavlena
November 29, 2024 08:16 3m 17s wasm-build
wasm-build
November 29, 2024 08:16 3m 17s
Support of the WASM build Code Quality #589: Pull request #474 synchronize by vhavlena
November 29, 2024 08:16 9m 38s wasm-build
wasm-build
November 29, 2024 08:16 9m 38s
Support of the WASM build Code Quality #588: Pull request #474 opened by vhavlena
November 28, 2024 19:35 9m 34s wasm-build
wasm-build
November 28, 2024 19:35 9m 34s
Support of the WASM build Python-Binding (build-&-test) #1432: Pull request #474 opened by vhavlena
November 28, 2024 19:35 3m 6s wasm-build
wasm-build
November 28, 2024 19:35 3m 6s
Reduce: Simulation algorithm Code Quality #587: Pull request #434 synchronize by samo538
November 26, 2024 19:49 10m 4s samo538:simulation
samo538:simulation
November 26, 2024 19:49 10m 4s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1431: Pull request #434 synchronize by samo538
November 26, 2024 19:49 3m 29s samo538:simulation
samo538:simulation
November 26, 2024 19:49 3m 29s
Reduce: Simulation algorithm Code Quality #586: Pull request #434 synchronize by samo538
November 26, 2024 19:24 11m 5s samo538:simulation
samo538:simulation
November 26, 2024 19:24 11m 5s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1430: Pull request #434 synchronize by samo538
November 26, 2024 19:24 3m 24s samo538:simulation
samo538:simulation
November 26, 2024 19:24 3m 24s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1429: Pull request #434 synchronize by samo538
November 26, 2024 18:56 3m 21s samo538:simulation
samo538:simulation
November 26, 2024 18:56 3m 21s
Reduce: Simulation algorithm Code Quality #585: Pull request #434 synchronize by samo538
November 26, 2024 18:56 9m 39s samo538:simulation
samo538:simulation
November 26, 2024 18:56 9m 39s
Reduce: Simulation algorithm Code Quality #584: Pull request #434 synchronize by samo538
November 26, 2024 18:26 9m 39s samo538:simulation
samo538:simulation
November 26, 2024 18:26 9m 39s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1428: Pull request #434 synchronize by samo538
November 26, 2024 18:26 3m 27s samo538:simulation
samo538:simulation
November 26, 2024 18:26 3m 27s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1427: Pull request #434 synchronize by samo538
November 26, 2024 17:21 3m 20s samo538:simulation
samo538:simulation
November 26, 2024 17:21 3m 20s
Reduce: Simulation algorithm Code Quality #583: Pull request #434 synchronize by samo538
November 26, 2024 17:21 9m 57s samo538:simulation
samo538:simulation
November 26, 2024 17:21 9m 57s
feat(alphabet): Print to mata format with symbol names on transitions… Python-Binding (build-&-test) #1426: Commit e953d8c pushed by Adda0
November 26, 2024 16:57 3m 10s devel
devel
November 26, 2024 16:57 3m 10s
Print to mata format with symbol names on transitions Release #237: Pull request #473 closed by Adda0
November 26, 2024 16:57 4m 54s print_to_mata_with_symbol_names
print_to_mata_with_symbol_names
November 26, 2024 16:57 4m 54s
Print to mata format with symbol names on transitions Code Quality #582: Pull request #473 synchronize by Adda0
November 26, 2024 15:44 8m 51s print_to_mata_with_symbol_names
print_to_mata_with_symbol_names
November 26, 2024 15:44 8m 51s
Print to mata format with symbol names on transitions Python-Binding (build-&-test) #1425: Pull request #473 synchronize by Adda0
November 26, 2024 15:44 3m 15s print_to_mata_with_symbol_names
print_to_mata_with_symbol_names
November 26, 2024 15:44 3m 15s
Print to mata format with symbol names on transitions Python-Binding (build-&-test) #1424: Pull request #473 opened by Adda0
November 26, 2024 14:21 3m 21s print_to_mata_with_symbol_names
print_to_mata_with_symbol_names
November 26, 2024 14:21 3m 21s
Print to mata format with symbol names on transitions Code Quality #581: Pull request #473 opened by Adda0
November 26, 2024 14:21 10m 43s print_to_mata_with_symbol_names
print_to_mata_with_symbol_names
November 26, 2024 14:21 10m 43s