Skip to content

Actions: VeriFIT/mata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,055 workflow runs
1,055 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
utils: +refactor No std::hash override for std::{set,vector} Development release (devel) #32: Pull request #705 closed by Adda0
7m 22s mata-hash
mata-hash
7m 22s
utils: +refactor No std::hash override for std::{set,vector} Code Quality #1220: Pull request #705 synchronize by Adda0
7m 36s mata-hash
mata-hash
7m 36s
utils: +refactor No std::hash override for std::{set,vector} Code Quality #1219: Pull request #705 synchronize by Adda0
9m 25s mata-hash
mata-hash
9m 25s
tests-integration: +fix Correct post-mintermization alphabet type Development release (devel) #31: Pull request #707 closed by Adda0
6m 35s mintermization-test-fix
mintermization-test-fix
6m 35s
utils: +refactor No std::hash override for std::{set,vector} Code Quality #1218: Pull request #705 synchronize by Adda0
6m 55s mata-hash
mata-hash
6m 55s
tests-integration: +fix Correct post-mintermization alphabet type Code Quality #1217: Pull request #707 synchronize by Adda0
15m 26s mintermization-test-fix
mintermization-test-fix
15m 26s
binding,github,docs: +fix Use python3/pip3 instead of python/pip Development release (devel) #30: Pull request #706 closed by Adda0
13m 27s python3-explicit
python3-explicit
13m 27s
tests-integration: +fix Correct post-mintermization alphabet type Code Quality #1216: Pull request #707 opened by Adda0
13m 3s mintermization-test-fix
mintermization-test-fix
13m 3s
binding,github,docs: +fix Use python3/pip3 instead of python/pip Code Quality #1215: Pull request #706 opened by Adda0
9m 5s python3-explicit
python3-explicit
9m 5s
utils: +refactor No std::hash override for std::{set,vector} Code Quality #1214: Pull request #705 opened by Adda0
9m 21s mata-hash
mata-hash
9m 21s
nft: +fix Special-case DONT_CARE when printing to DOT Development release (devel) #29: Pull request #704 closed by Adda0
7m 41s print-dont-care
print-dont-care
7m 41s
nft: +fix Special-case DONT_CARE when printing to DOT Code Quality #1213: Pull request #704 synchronize by Adda0
14m 23s print-dont-care
print-dont-care
14m 23s
nft: +feat Fill AlphabetLevels on insertion in insert_level(s) Development release (devel) #28: Pull request #701 closed by Adda0
9m 52s insert-level-alphabet-fill
insert-level-alphabet-fill
9m 52s
nft: +fix Special-case DONT_CARE when printing to DOT Code Quality #1212: Pull request #704 opened by Adda0
12m 23s print-dont-care
print-dont-care
12m 23s
nft: +feat Fill AlphabetLevels on insertion in insert_level(s) Code Quality #1211: Pull request #701 synchronize by Adda0
6m 46s insert-level-alphabet-fill
insert-level-alphabet-fill
6m 46s
bindings/python: +feat Expose Delta as a Python object Development release (devel) #27: Pull request #702 closed by Adda0
6m 36s feature/python-delta-object
feature/python-delta-object
6m 36s
bindings/python: +feat Expose Delta as a Python object Code Quality #1210: Pull request #702 opened by Adda0
13m 39s feature/python-delta-object
feature/python-delta-object
13m 39s
nft: +feat Fill AlphabetLevels on insertion in insert_level(s) Code Quality #1209: Pull request #701 synchronize by Adda0
13m 0s insert-level-alphabet-fill
insert-level-alphabet-fill
13m 0s
nft: +feat Fill AlphabetLevels on insertion in insert_level(s) Code Quality #1208: Pull request #701 opened by Adda0
9m 14s insert-level-alphabet-fill
insert-level-alphabet-fill
9m 14s
bindings/python: +feat Extend the Python binding for NF(A|T)s Development release (devel) #26: Pull request #700 closed by Adda0
7m 35s python-binding
python-binding
7m 35s
bindings/python: +feat Extend the Python binding for NF(A|T)s Code Quality #1207: Pull request #700 opened by Adda0
7m 32s python-binding
python-binding
7m 32s
chore: Sync 'master' into 'devel' (CONFLICTS — manual resolution needed) Development release (devel) #25: Pull request #699 closed by Adda0
55s sync/master-into-devel
sync/master-into-devel
55s
alphabet: +feat Operations to modify and share the alphabets Development release (devel) #24: Pull request #693 closed by Adda0
5m 34s alphabet-levels
alphabet-levels
5m 34s
chore: Sync 'master' into 'devel' (CONFLICTS — manual resolution needed) Code Quality #1206: Pull request #699 opened by Adda0
6m 40s sync/master-into-devel
sync/master-into-devel
6m 40s
cmake: +feat Use file sets to define include headers Release (master) #36: Pull request #698 closed by Adda0
27m 28s cmake-file-sets
cmake-file-sets
27m 28s