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

Added function that gets all words of an automaton Python-Binding (build-&-test) #1210: Pull request #375 synchronize by jurajsic
January 16, 2024 16:13 3m 18s get_all_words
get_all_words
January 16, 2024 16:13 3m 18s
Added function that gets all words of an automaton Code Quality #369: Pull request #375 synchronize by jurajsic
January 16, 2024 16:13 5m 57s get_all_words
get_all_words
January 16, 2024 16:13 5m 57s
Readme Update Python-Binding (build-&-test) #1209: Pull request #376 synchronize by vhavlena
January 12, 2024 12:13 3m 12s readme-update
readme-update
January 12, 2024 12:13 3m 12s
Readme Update Code Quality #368: Pull request #376 synchronize by vhavlena
January 12, 2024 12:13 6m 35s readme-update
readme-update
January 12, 2024 12:13 6m 35s
Readme Update Code Quality #367: Pull request #376 synchronize by vhavlena
January 12, 2024 09:01 5m 5s readme-update
readme-update
January 12, 2024 09:01 5m 5s
Readme Update Python-Binding (build-&-test) #1208: Pull request #376 synchronize by vhavlena
January 12, 2024 09:01 3m 10s readme-update
readme-update
January 12, 2024 09:01 3m 10s
Readme Update Python-Binding (build-&-test) #1207: Pull request #376 opened by vhavlena
January 12, 2024 08:32 3m 23s readme-update
readme-update
January 12, 2024 08:32 3m 23s
Readme Update Code Quality #366: Pull request #376 opened by vhavlena
January 12, 2024 08:32 6h 15m 14s readme-update
readme-update
January 12, 2024 08:32 6h 15m 14s
pages build and deployment pages-build-deployment #53: by github-pages bot
January 12, 2024 07:50 33s gh-pages
gh-pages
January 12, 2024 07:50 33s
Merge pull request #374 from VeriFIT/scc-refactor Python-Binding (build-&-test) #1206: Commit fd71536 pushed by vhavlena
January 12, 2024 07:49 3m 2s devel
devel
January 12, 2024 07:49 3m 2s
Refactoring of SCC-based Algorithms Release #186: Pull request #374 closed by vhavlena
January 12, 2024 07:49 3m 22s scc-refactor
scc-refactor
January 12, 2024 07:49 3m 22s
Refactoring of SCC-based Algorithms Python-Binding (build-&-test) #1205: Pull request #374 synchronize by vhavlena
January 10, 2024 09:51 3m 22s scc-refactor
scc-refactor
January 10, 2024 09:51 3m 22s
Refactoring of SCC-based Algorithms Code Quality #365: Pull request #374 synchronize by vhavlena
January 10, 2024 09:51 6m 55s scc-refactor
scc-refactor
January 10, 2024 09:51 6m 55s
Added function that gets all words of an automaton Python-Binding (build-&-test) #1204: Pull request #375 opened by jurajsic
January 5, 2024 16:02 3m 23s get_all_words
get_all_words
January 5, 2024 16:02 3m 23s
Added function that gets all words of an automaton Code Quality #364: Pull request #375 opened by jurajsic
January 5, 2024 16:02 6m 27s get_all_words
get_all_words
January 5, 2024 16:02 6m 27s
Refactoring of SCC-based Algorithms Python-Binding (build-&-test) #1203: Pull request #374 synchronize by vhavlena
December 28, 2023 18:41 3m 29s scc-refactor
scc-refactor
December 28, 2023 18:41 3m 29s
Refactoring of SCC-based Algorithms Code Quality #363: Pull request #374 synchronize by vhavlena
December 28, 2023 18:41 5m 39s scc-refactor
scc-refactor
December 28, 2023 18:41 5m 39s
Refactoring of SCC-based Algorithms Code Quality #362: Pull request #374 synchronize by vhavlena
December 27, 2023 18:03 7m 24s scc-refactor
scc-refactor
December 27, 2023 18:03 7m 24s
Refactoring of SCC-based Algorithms Python-Binding (build-&-test) #1202: Pull request #374 synchronize by vhavlena
December 27, 2023 18:03 3m 4s scc-refactor
scc-refactor
December 27, 2023 18:03 3m 4s
Refactoring of SCC-based Algorithms Python-Binding (build-&-test) #1201: Pull request #374 opened by vhavlena
December 27, 2023 12:26 3m 3s scc-refactor
scc-refactor
December 27, 2023 12:26 3m 3s
Refactoring of SCC-based Algorithms Code Quality #361: Pull request #374 opened by vhavlena
December 27, 2023 12:26 5m 44s scc-refactor
scc-refactor
December 27, 2023 12:26 5m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-12-27 or the other filters available.