Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
738 workflow runs
738 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'develop' into set-union Kind2 CI #304: Commit 82c6769 pushed by lorchrob
2m 32s set-union
set-union
2m 32s
Merge pull request #1226 from daniel-larraz/fix-invgen-constant-case Kind2 CI #303: Commit c2817d4 pushed by lorchrob
21m 56s develop
develop
21m 56s
Merge pull request #1226 from daniel-larraz/fix-invgen-constant-case Kind 2 DockerHub #36: Commit c2817d4 pushed by lorchrob
Skipped develop
develop
Skipped
Merge pull request #1226 from daniel-larraz/fix-invgen-constant-case Kind2 CI #302: Commit c2817d4 pushed by lorchrob
21m 21s set-add-element
set-add-element
21m 21s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #273: Scheduled
2s develop
develop
2s
Fix typo Kind2 CI #301: Commit 6c07c9a pushed by lorchrob
20m 34s set-add-element
set-add-element
20m 34s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #272: Scheduled
1s develop
develop
1s
Addressed unused variable warnings (for some reason my local compiler… Kind2 CI #300: Commit bca44df pushed by lorchrob
24m 12s set-add-element
set-add-element
24m 12s
Rename test case Kind2 CI #299: Commit 923d0a9 pushed by lorchrob
2m 20s set-add-element
set-add-element
2m 20s
set_add_elements -> set_insertions Kind2 CI #298: Commit 00cd058 pushed by lorchrob
2m 34s set-add-element
set-add-element
2m 34s
Remove internal comment Kind2 CI #297: Commit bb2a4bf pushed by lorchrob
2m 31s set-add-element
set-add-element
2m 31s
Merge branch 'develop' into set-add-element Kind2 CI #296: Commit b276182 pushed by lorchrob
2m 11s set-add-element
set-add-element
2m 11s
Merge pull request #1223 from lorchrob/sets Kind2 CI #295: Commit 39d61e2 pushed by lorchrob
23m 54s develop
develop
23m 54s
Merge pull request #1223 from lorchrob/sets Kind 2 DockerHub #35: Commit 39d61e2 pushed by lorchrob
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #271: Scheduled
2s develop
develop
2s
Doc Kind2 CI #294: Commit 7fccb12 pushed by lorchrob
24m 39s sets
sets
24m 39s
Fix set union/intersection bug Kind2 CI #293: Commit 3370362 pushed by lorchrob
20m 45s set-intersection
set-intersection
20m 45s
WIP: Set intersection Kind2 CI #292: Commit ece62ae pushed by lorchrob
9m 8s set-intersection
set-intersection
9m 8s
Update nodeGen for union Kind2 CI #291: Commit 9bf45b6 pushed by lorchrob
2m 21s set-union
set-union
2m 21s
WIP: set intersection Kind2 CI #290: Commit 865819e pushed by lorchrob
29m 43s set-intersection
set-intersection
29m 43s
Add set union test case Kind2 CI #289: Commit daf5eeb pushed by lorchrob
35m 52s set-union
set-union
35m 52s
Remove internal comments Kind2 CI #288: Commit 4017e0a pushed by lorchrob
24m 33s sets
sets
24m 33s
Support set union Kind2 CI #287: Commit 40a4558 pushed by lorchrob
25m 50s set-union
set-union
25m 50s
Add subrange and refinement type constraints for sets Kind2 CI #286: Commit ad37c97 pushed by lorchrob
28m 18s sets
sets
28m 18s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #270: Scheduled
1s develop
develop
1s