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

Kind 2 Nightlies / Release Kind 2 Nightlies / Release #292: Scheduled
1s develop
develop
1s
Use older library function Kind2 CI #354: Commit ab0a362 pushed by lorchrob
22m 21s type-inference-calls
type-inference-calls
22m 21s
Update test case description Kind2 CI #353: Commit 7b5ee7a pushed by lorchrob
1m 54s type-inference-calls
type-inference-calls
1m 54s
Remove unnecessary diffs Kind2 CI #352: Commit 3868658 pushed by lorchrob
1m 54s type-inference-calls
type-inference-calls
1m 54s
Remove unnecessary diffs Kind2 CI #351: Commit edaf746 pushed by lorchrob
2m 6s type-inference-calls
type-inference-calls
2m 6s
Tidy up test case and dev docs Kind2 CI #350: Commit c02f2d9 pushed by lorchrob
2m 8s type-inference-calls
type-inference-calls
2m 8s
Add test cases Kind2 CI #349: Commit 2f828d4 pushed by lorchrob
1m 52s type-inference-calls
type-inference-calls
1m 52s
Merge branch 'develop' into type-inference-calls Kind2 CI #348: Commit ff5daa9 pushed by lorchrob
2m 15s type-inference-calls
type-inference-calls
2m 15s
Debug Kind2 CI #347: Commit 2877149 pushed by lorchrob
1m 58s type-inference-calls
type-inference-calls
1m 58s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #291: Scheduled
1s develop
develop
1s
WIP Kind2 CI #346: Commit afbade0 pushed by lorchrob
2m 3s type-inference-calls
type-inference-calls
2m 3s
Merge branch 'develop' into global-assumptions Kind2 CI #345: Commit 2729bcc pushed by lorchrob
21m 28s global-assumptions
global-assumptions
21m 28s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #290: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #289: Scheduled
Skipped develop
develop
Skipped
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #288: Scheduled
1s develop
develop
1s
WIP: global gids Kind2 CI #344: Commit 621f836 pushed by lorchrob
2m 21s normalize-globals
normalize-globals
2m 21s
Add global gid declarations Kind2 CI #343: Commit c8ea048 pushed by lorchrob
9m 4s normalize-globals
normalize-globals
9m 4s
X.MapIndex -> X.SetMapIndex Kind2 CI #342: Commit 4b3a9ca pushed by lorchrob
22m 37s rename-map-index
rename-map-index
22m 37s
Introduce a global node ID during normalization Kind2 CI #341: Commit 2101a75 pushed by lorchrob
22m 11s normalize-globals
normalize-globals
22m 11s
Whitespace Kind2 CI #340: Commit c2cf27c pushed by lorchrob
24m 50s sets-bug
sets-bug
24m 50s
Chase base types for sets Kind2 CI #339: Commit d138570 pushed by lorchrob
20m 24s sets-bug
sets-bug
20m 24s
Reimplement optimization that desugars set unions to insertions where… Kind2 CI #338: Commit 23ffa29 pushed by lorchrob
21m 1s set-union-optimization
set-union-optimization
21m 1s
Merge pull request #1236 from lorchrob/sym-subrange-bug Kind2 CI #337: Commit 1c47678 pushed by lorchrob
21m 7s develop
develop
21m 7s
Merge pull request #1236 from lorchrob/sym-subrange-bug Kind 2 DockerHub #42: Commit 1c47678 pushed by lorchrob
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #287: Scheduled
1s develop
develop
1s