Skip to content

Actions: lorchrob/kind2

Actions

Kind2 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kind2-ci.yml
642 workflow runs
642 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
Generalize Match constructor Kind2 CI #666: Commit 2242d4c pushed by lorchrob
2m 11s nonrecursive-datatypes
nonrecursive-datatypes
2m 11s
Unimplemented stubs for Match (OCaml) pattern matches Kind2 CI #665: Commit 84c5cdb pushed by lorchrob
1m 57s nonrecursive-datatypes
nonrecursive-datatypes
1m 57s
Some boilerplate Kind2 CI #664: Commit 7ff534a pushed by lorchrob
2m 20s nonrecursive-datatypes
nonrecursive-datatypes
2m 20s
Pattern matching constructor in expr type Kind2 CI #663: Commit 8d1a74f pushed by lorchrob
2m 17s nonrecursive-datatypes
nonrecursive-datatypes
2m 17s
ADT syntax Kind2 CI #662: Commit 8f90321 pushed by lorchrob
22m 42s nonrecursive-datatypes
nonrecursive-datatypes
22m 42s
Hide generated constants from output (#1333) Kind2 CI #661: Commit e930d97 pushed by lorchrob
26m 32s develop
develop
26m 32s
Hide generated constants from output Kind2 CI #660: Commit 525366d pushed by lorchrob
28m 28s hide-generated-constants
hide-generated-constants
28m 28s
Merge branch 'develop' into remove-subranges Kind2 CI #659: Commit 2fde1df pushed by lorchrob
39m 17s remove-subranges
remove-subranges
39m 17s
Refinement type generated quantified variable checks (#1320) Kind2 CI #658: Commit 09d93a7 pushed by lorchrob
47m 29s develop
develop
47m 29s
Minor Kind2 CI #657: Commit ccf0294 pushed by lorchrob
21m 58s remove-subranges
remove-subranges
21m 58s
Update subrange tests Kind2 CI #656: Commit 84e8386 pushed by lorchrob
25m 21s remove-subranges
remove-subranges
25m 21s
Remove internal comment Kind2 CI #655: Commit e545fd9 pushed by lorchrob
28m 41s remove-subranges
remove-subranges
28m 41s
Merge branch 'develop' into remove-subranges Kind2 CI #654: Commit f295786 pushed by lorchrob
24m 6s remove-subranges
remove-subranges
24m 6s
Type ascription fixes (#1323) Kind2 CI #653: Commit 772cb7b pushed by lorchrob
26m 20s develop
develop
26m 20s
Merge branch 'develop' into gen-quantified-vars Kind2 CI #652: Commit c5e40d3 pushed by lorchrob
25m 0s gen-quantified-vars
gen-quantified-vars
25m 0s
WIP: Remove subranges Kind2 CI #651: Commit a5a13a2 pushed by lorchrob
10m 27s remove-subranges
remove-subranges
10m 27s
WIP: Remove subranges Kind2 CI #650: Commit ac6c6aa pushed by lorchrob
2m 56s remove-subranges
remove-subranges
2m 56s
Also disallow node calls Kind2 CI #649: Commit ad6e23d pushed by lorchrob
1m 15s temporal-set-map-literals
temporal-set-map-literals
1m 15s
Disallow temporal operators in set and map literals Kind2 CI #648: Commit f2ab919 pushed by lorchrob
22m 17s temporal-set-map-literals
temporal-set-map-literals
22m 17s
Update index.rst Kind2 CI #647: Commit fd43d6d pushed by lorchrob
25m 7s subrange-doc
subrange-doc
25m 7s
Add documentation of subranges Kind2 CI #646: Commit a3efa2d pushed by lorchrob
12m 3s subrange-doc
subrange-doc
12m 3s
Check for temporal operator or node call in type ascription in contex… Kind2 CI #645: Commit c703866 pushed by lorchrob
26m 46s type-ascription-fixes
type-ascription-fixes
26m 46s
Check for temporal operators and node calls in type ascriptions in co… Kind2 CI #644: Commit 87d91c3 pushed by lorchrob
2m 55s type-ascription-fixes
type-ascription-fixes
2m 55s
Fix lustre syntax checks for expressions in types Kind2 CI #643: Commit 8b5927d pushed by lorchrob
1m 16s type-ascription-fixes
type-ascription-fixes
1m 16s
Don't check realizability of (generated) type ascription nodes Kind2 CI #642: Commit c59791e pushed by lorchrob
24m 1s type-ascription-fixes
type-ascription-fixes
24m 1s