Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
385 workflow runs
385 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Overload of print_to_mata and print_to_dot
Python-Binding (build-&-test) #1378: Pull request #462 opened by koniksedy
3m 12s mata_to_file
Change default RE2 encoding to Latin1
Python-Binding (build-&-test) #1377: Pull request #461 opened by koniksedy
3m 20s utf-8
Merge pull request #454 from VeriFIT/perf-testing-fixes
Python-Binding (build-&-test) #1371: Commit eabb866 pushed by Adda0
5m 18s devel
Merge pull request #451 from VeriFIT/regex_segfault
Python-Binding (build-&-test) #1368: Commit 037ecfe pushed by Adda0
3m 9s devel
Merge pull request #453 from VeriFIT/catch2v3
Python-Binding (build-&-test) #1367: Commit 7d25544 pushed by Adda0
3m 14s devel
Update Catch2 to version 3
Python-Binding (build-&-test) #1366: Pull request #453 opened by Adda0
3m 22s catch2v3
Merge pull request #452 from VeriFIT/perf-typo
Python-Binding (build-&-test) #1365: Commit ccfbf72 pushed by Adda0
3m 15s devel
Typo in a performance comparison script.
Python-Binding (build-&-test) #1364: Pull request #452 opened by koniksedy
3m 48s perf-typo
No more segfault during regex parsing
Python-Binding (build-&-test) #1363: Pull request #451 synchronize by koniksedy
No more segfault during regex parsing
Python-Binding (build-&-test) #1362: Pull request #451 opened by koniksedy
Merge pull request #449 from VeriFIT/no_trans
Python-Binding (build-&-test) #1361: Commit 84ecd6a pushed by Adda0
3m 37s devel
Parsing automata with no transitions
Python-Binding (build-&-test) #1360: Pull request #449 opened by koniksedy
3m 15s no_trans
Merge pull request #447 from VeriFIT/nfa-bench-update
Python-Binding (build-&-test) #1358: Commit 31413b1 pushed by Adda0
3m 10s devel
Update nfa-bench submodule
Python-Binding (build-&-test) #1356: Pull request #447 opened by Adda0
Reduce: Simulation algorithm
Python-Binding (build-&-test) #1355: Pull request #434 synchronize by samo538
Reduce: Simulation algorithm
Python-Binding (build-&-test) #1354: Pull request #434 synchronize by samo538
ProTip! You can narrow down the results and go further in time using created:<2024-10-25 or the other filters available.