Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
962 workflow runs
962 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kind 2 Nightlies / Release Kind 2 Nightlies / Release #389: Scheduled
2s develop
develop
2s
First pass: type annotation constraints for maps and sets Kind2 CI #510: Commit 847ccf1 pushed by lorchrob
9m 39s enforce-ty-annots
enforce-ty-annots
9m 39s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #388: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #387: Scheduled
7s develop
develop
7s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #386: Scheduled
1s develop
develop
1s
Fix lustreNodeGen assert failure (#1289) Kind2 CI #509: Commit 133db75 pushed by lorchrob
23m 36s develop
develop
23m 36s
Fix lustreNodeGen assert failure (#1289) Kind 2 DockerHub #63: Commit 133db75 pushed by lorchrob
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #385: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #384: Scheduled
1s develop
develop
1s
Use the right test case... Kind2 CI #508: Commit f288e91 pushed by lorchrob
22m 55s nodegen-bug
nodegen-bug
22m 55s
Add test case Kind2 CI #507: Commit b8d95bf pushed by lorchrob
21m 24s nodegen-bug
nodegen-bug
21m 24s
Fix assertion failure Kind2 CI #506: Commit 5e568fa pushed by lorchrob
21m 1s nodegen-bug
nodegen-bug
21m 1s
Merge branch 'develop' into constants-as-functions-2 Kind2 CI #505: Commit 49150e2 pushed by lorchrob
22m 10s constants-as-functions-2
constants-as-functions-2
22m 10s
Re-introduce choose (#1288) Kind2 CI #504: Commit 64026ad pushed by lorchrob
21m 21s develop
develop
21m 21s
Re-introduce choose (#1288) Kind 2 DockerHub #62: Commit 64026ad pushed by lorchrob
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #383: Scheduled
1s develop
develop
1s
Fix counterexamples for defined constants to functions Kind2 CI #503: Commit 45d2a05 pushed by lorchrob
21m 44s constants-as-functions-2
constants-as-functions-2
21m 44s
Update interface to reflect any/choose distinction Kind2 CI #502: Commit 3d68328 pushed by lorchrob
27m 58s any-choose
any-choose
27m 58s
Clean up PR 1288 Kind2 CI #501: Commit 95b7ac2 pushed by lorchrob
24m 33s any-choose
any-choose
24m 33s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #382: Scheduled
1s develop
develop
1s
Merge branch 'develop' into any-choose Kind2 CI #500: Commit 618637d pushed by lorchrob
21m 3s any-choose
any-choose
21m 3s
Update any/choose op test cases Kind2 CI #499: Commit ec96cd8 pushed by lorchrob
23m 25s any-choose
any-choose
23m 25s
Update user doc for any/choose distinction Kind2 CI #498: Commit f508a3b pushed by lorchrob
2m 14s any-choose
any-choose
2m 14s
Add error case for any operators Kind2 CI #497: Commit 8776bed pushed by lorchrob
11m 8s any-choose
any-choose
11m 8s
Remove comment Kind2 CI #496: Commit be75e24 pushed by lorchrob
17m 7s constants-as-functions-2
constants-as-functions-2
17m 7s