Skip to content

Actions: VeriFIT/mata

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-quality.yml
413 workflow runs
413 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add concatenate_nth_power for NFTs Code Quality #1163: Pull request #682 synchronize by jurajsic
16m 23s nft_concatenate_nth_power
nft_concatenate_nth_power
16m 23s
Add concatenate_nth_power for NFTs Code Quality #1162: Pull request #682 synchronize by jurajsic
12m 12s nft_concatenate_nth_power
nft_concatenate_nth_power
12m 12s
Add concatenate_nth_power for NFTs Code Quality #1161: Pull request #682 synchronize by jurajsic
12m 23s nft_concatenate_nth_power
nft_concatenate_nth_power
12m 23s
Add concatenate_nth_power for NFTs Code Quality #1160: Pull request #682 synchronize by jurajsic
6m 51s nft_concatenate_nth_power
nft_concatenate_nth_power
6m 51s
Add concatenate_nth_power for NFTs Code Quality #1159: Pull request #682 opened by jurajsic
7m 32s nft_concatenate_nth_power
nft_concatenate_nth_power
7m 32s
chore: Sync 'master' into 'devel' Code Quality #1158: Pull request #681 opened by Adda0
6m 29s sync/master-into-devel
sync/master-into-devel
6m 29s
nft: +refactor +fix Do not append levels twice, reuse NFA union Code Quality #1157: Pull request #680 opened by Adda0
7m 1s nft-union-fix
nft-union-fix
7m 1s
chore: Sync 'master' into 'devel' Code Quality #1156: Pull request #679 opened by Adda0
6m 23s sync/master-into-devel
sync/master-into-devel
6m 23s
+chore Add .clangd Code Quality #1155: Pull request #678 synchronize by Adda0
6m 52s clangd
clangd
6m 52s
+chore Add .clangd Code Quality #1154: Pull request #678 opened by Adda0
6m 47s clangd
clangd
6m 47s
chore: Sync 'master' into 'devel' Code Quality #1153: Pull request #676 opened by Adda0
9m 23s sync/master-into-devel
sync/master-into-devel
9m 23s
Issue #613 - fix Code Quality #1152: Pull request #675 synchronize by koniksedy
9m 48s issue-#613
issue-#613
9m 48s
Issue #613 - fix Code Quality #1151: Pull request #675 opened by koniksedy
9m 33s issue-#613
issue-#613
9m 33s
chore: Sync 'master' into 'devel' Code Quality #1150: Pull request #674 opened by Adda0
7m 9s sync/master-into-devel
sync/master-into-devel
7m 9s
nft/composition(fix): Skip recomputing synchronization types Code Quality #1149: Pull request #673 synchronize by Adda0
6m 24s fix-sync-types
fix-sync-types
6m 24s
nft/composition(fix): Skip recomputing synchronization types Code Quality #1148: Pull request #673 opened by Adda0
6m 46s fix-sync-types
fix-sync-types
6m 46s
chore: Sync 'master' into 'devel' Code Quality #1147: Pull request #672 opened by Adda0
6m 53s sync/master-into-devel
sync/master-into-devel
6m 53s
utils(feat): Create assert macro for Mata Code Quality #1146: Pull request #671 synchronize by Adda0
7m 7s assert
assert
7m 7s
utils(feat): Create assert macro for Mata Code Quality #1145: Pull request #671 opened by Adda0
7m 25s assert
assert
7m 25s
Python: lazy imports and extras Code Quality #1144: Pull request #669 synchronize by p4l1ly
6m 45s paly/lazy-imports-and-extras
paly/lazy-imports-and-extras
6m 45s
Python: lazy imports and extras Code Quality #1143: Pull request #669 synchronize by p4l1ly
6m 24s paly/lazy-imports-and-extras
paly/lazy-imports-and-extras
6m 24s
Python: lazy imports and extras Code Quality #1142: Pull request #669 synchronize by p4l1ly
6m 57s paly/lazy-imports-and-extras
paly/lazy-imports-and-extras
6m 57s
Python: lazy imports and extras Code Quality #1141: Pull request #669 opened by p4l1ly
6m 39s paly/lazy-imports-and-extras
paly/lazy-imports-and-extras
6m 39s
chore: Sync 'master' into 'devel' Code Quality #1140: Pull request #668 opened by Adda0
7m 4s sync/master-into-devel
sync/master-into-devel
7m 4s
nfa (fix): Properly format symbols when printed to DOT format Code Quality #1139: Pull request #667 opened by Adda0
7m 16s fix-print_to_dot
fix-print_to_dot
7m 16s