Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
739 workflow runs
739 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix index access type checking bug Kind2 CI #322: Commit 2091759 pushed by lorchrob
21m 55s index-access-bug
index-access-bug
21m 55s
Fix index access type checking bug Kind 2 DockerHub #40: Commit 232e2e4 pushed by lorchrob
1s develop
develop
1s
Fix index access type checking bug Kind2 CI #321: Commit 232e2e4 pushed by lorchrob
21m 26s develop
develop
21m 26s
Merge pull request #1232 from lorchrob/abstract-ty-quant Kind 2 DockerHub #39: Commit cdb3bb1 pushed by lorchrob
1s develop
develop
1s
Merge pull request #1232 from lorchrob/abstract-ty-quant Kind2 CI #320: Commit cdb3bb1 pushed by lorchrob
21m 40s develop
develop
21m 40s
Support quantification over variables with abstract types Kind2 CI #319: Commit 6b3d4de pushed by lorchrob
18m 37s abstract-ty-quant
abstract-ty-quant
18m 37s
Merge pull request #1231 from lorchrob/type-inference Kind 2 DockerHub #38: Commit 82607ad pushed by lorchrob
2s develop
develop
2s
Merge pull request #1231 from lorchrob/type-inference Kind2 CI #318: Commit 82607ad pushed by lorchrob
21m 34s develop
develop
21m 34s
Document confusing place in code Kind2 CI #317: Commit 6029b80 pushed by lorchrob
26m 6s type-checking-loop
type-checking-loop
26m 6s
WIP: Debugging type inference for calls Kind2 CI #316: Commit 7fc3be1 pushed by lorchrob
2m 0s type-inference-calls
type-inference-calls
2m 0s
Check type annotations for non-empty map and set literals, if they ar… Kind2 CI #315: Commit 73257c9 pushed by lorchrob
20m 27s type-inference
type-inference
20m 27s
WIP: Type inference for calls Kind2 CI #314: Commit 5c1c9db pushed by lorchrob
2m 9s type-inference-calls
type-inference-calls
2m 9s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #277: Scheduled
1s develop
develop
1s
Add test case Kind2 CI #313: Commit 3fe62f7 pushed by lorchrob
30m 22s type-inference
type-inference
30m 22s
Clean up Kind2 CI #312: Commit 68a6ee3 pushed by lorchrob
25m 22s type-inference
type-inference
25m 22s
Remove crud Kind2 CI #311: Commit 19283ab pushed by lorchrob
22m 18s type-inference
type-inference
22m 18s
Merge branch 'develop' into set-intersection Kind2 CI #310: Commit 3b0373e pushed by lorchrob
35m 36s set-intersection
set-intersection
35m 36s
Merge pull request #1227 from lorchrob/set-union Kind 2 DockerHub #37: Commit 25f840c pushed by lorchrob
2s develop
develop
2s
Merge pull request #1227 from lorchrob/set-union Kind2 CI #309: Commit 25f840c pushed by lorchrob
23m 46s develop
develop
23m 46s
WIP: type inference -- now support map and set literals without type … Kind2 CI #308: Commit c0321d8 pushed by lorchrob
23m 43s type-inference
type-inference
23m 43s
Remove stale comment Kind2 CI #307: Commit 01ec5d2 pushed by lorchrob
23m 40s set-union
set-union
23m 40s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #276: Scheduled
5s develop
develop
5s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #275: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #274: Scheduled
1s develop
develop
1s
Fix type checking loop w/ maps Kind2 CI #306: Commit c233772 pushed by lorchrob
19m 49s type-checking-loop
type-checking-loop
19m 49s