Skip to content

Actions: VeriFIT/mata

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
242 workflow runs
242 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nft inclusion
Code Quality #377: Pull request #379 synchronize by koniksedy
February 20, 2024 13:27 3m 2s nft-inclusion
February 20, 2024 13:27 3m 2s
Nft inclusion
Code Quality #376: Pull request #379 synchronize by koniksedy
February 20, 2024 12:17 4m 30s nft-inclusion
February 20, 2024 12:17 4m 30s
Nft inclusion
Code Quality #375: Pull request #379 opened by koniksedy
February 19, 2024 18:09 3m 21s nft-inclusion
February 19, 2024 18:09 3m 21s
Added function that gets all words of an automaton
Code Quality #374: Pull request #375 synchronize by jurajsic
January 25, 2024 14:35 5m 12s get_all_words
January 25, 2024 14:35 5m 12s
Added function that gets all words of an automaton
Code Quality #373: Pull request #375 synchronize by jurajsic
January 25, 2024 14:09 7m 56s get_all_words
January 25, 2024 14:09 7m 56s
Readme Update
Code Quality #372: Pull request #376 synchronize by vhavlena
January 19, 2024 08:23 5m 44s readme-update
January 19, 2024 08:23 5m 44s
Readme Update
Code Quality #371: Pull request #376 synchronize by vhavlena
January 17, 2024 13:49 5m 39s readme-update
January 17, 2024 13:49 5m 39s
Readme Update
Code Quality #370: Pull request #376 synchronize by vhavlena
January 17, 2024 13:44 6m 1s readme-update
January 17, 2024 13:44 6m 1s
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
January 16, 2024 16:13 5m 57s
Readme Update
Code Quality #368: Pull request #376 synchronize by vhavlena
January 12, 2024 12:13 6m 35s 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
January 12, 2024 09:01 5m 5s
Readme Update
Code Quality #366: Pull request #376 opened by vhavlena
January 12, 2024 08:32 6h 15m 14s readme-update
January 12, 2024 08:32 6h 15m 14s
Refactoring of SCC-based Algorithms
Code Quality #365: Pull request #374 synchronize by vhavlena
January 10, 2024 09:51 6m 55s scc-refactor
January 10, 2024 09:51 6m 55s
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
January 5, 2024 16:02 6m 27s
Refactoring of SCC-based Algorithms
Code Quality #363: Pull request #374 synchronize by vhavlena
December 28, 2023 18:41 5m 39s 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
December 27, 2023 18:03 7m 24s
Refactoring of SCC-based Algorithms
Code Quality #361: Pull request #374 opened by vhavlena
December 27, 2023 12:26 5m 44s 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.