Skip to content

Actions: VeriFIT/mata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
567 workflow runs
567 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Replace true and false with \true and \false in mata files in the repository Release #236: Pull request #472 closed by Adda0
November 26, 2024 12:53 4m 48s fix_true_false_in_mata_files
fix_true_false_in_mata_files
November 26, 2024 12:53 4m 48s
Merge pull request #472 from VeriFIT/fix_true_false_in_mata_files Python-Binding (build-&-test) #1423: Commit 1bd84b4 pushed by Adda0
November 26, 2024 12:53 3m 19s devel
devel
November 26, 2024 12:53 3m 19s
Replace true and false with \true and \false in mata files in the repository Python-Binding (build-&-test) #1422: Pull request #472 synchronize by Adda0
November 26, 2024 07:17 3m 29s fix_true_false_in_mata_files
fix_true_false_in_mata_files
November 26, 2024 07:17 3m 29s
Replace true and false with \true and \false in mata files in the repository Code Quality #580: Pull request #472 synchronize by Adda0
November 26, 2024 07:17 9m 18s fix_true_false_in_mata_files
fix_true_false_in_mata_files
November 26, 2024 07:17 9m 18s