Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
735 workflow runs
735 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kind 2 Nightlies / Release Kind 2 Nightlies / Release #311: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #310: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #309: Scheduled
1s develop
develop
1s
Remove comment Kind2 CI #379: Commit 2fc2169 pushed by lorchrob
20m 47s structural-equality-2
structural-equality-2
20m 47s
Add test cases Kind2 CI #378: Commit 249d3fd pushed by lorchrob
19m 51s structural-equality-2
structural-equality-2
19m 51s
Support structural equality for arrays, maps, sets Kind2 CI #377: Commit fa6bd53 pushed by lorchrob
29m 15s structural-equality-2
structural-equality-2
29m 15s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #308: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #307: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #306: Scheduled
2s develop
develop
2s
Type inference for (polymorphic) node and function calls (#1242) Kind2 CI #376: Commit 3095ef6 pushed by lorchrob
21m 26s develop
develop
21m 26s
Type inference for (polymorphic) node and function calls (#1242) Kind 2 DockerHub #45: Commit 3095ef6 pushed by lorchrob
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #305: Scheduled
1s develop
develop
1s
Add test case Kind2 CI #375: Commit d94ccb3 pushed by lorchrob
21m 18s type-inference-calls
type-inference-calls
21m 18s
Add test case and make inferred type arg in old test case Kind2 CI #374: Commit 2c75e5a pushed by lorchrob
2m 22s type-inference-calls
type-inference-calls
2m 22s
Fix unused variable Kind2 CI #373: Commit 8a27852 pushed by lorchrob
24m 56s type-inference-calls
type-inference-calls
24m 56s
Merge branch 'develop' into type-inference-calls Kind2 CI #372: Commit ece82b4 pushed by lorchrob
2m 24s type-inference-calls
type-inference-calls
2m 24s
Alpha renaming Kind2 CI #371: Commit 4a4af62 pushed by lorchrob
30m 13s tc-msg
tc-msg
30m 13s
Compress new test case Kind2 CI #370: Commit ceee6a2 pushed by lorchrob
20m 5s tc-msg
tc-msg
20m 5s
Add test case Kind2 CI #369: Commit 7b32854 pushed by lorchrob
30m 55s tc-msg
tc-msg
30m 55s
Give undeclared type error message for refinement type bound variable… Kind2 CI #368: Commit 4278160 pushed by lorchrob
2m 14s tc-msg
tc-msg
2m 14s
Minor type checker refactoring (#1250) Kind 2 DockerHub #44: Commit 5c5f62e pushed by lorchrob
1s develop
develop
1s
Minor type checker refactoring (#1250) Kind2 CI #367: Commit 5c5f62e pushed by lorchrob
23m 21s develop
develop
23m 21s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #304: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #303: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #302: Scheduled
1s develop
develop
1s