Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
740 workflow runs
740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #269: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #268: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #267: Scheduled
1s develop
develop
1s
Remove set add element optimization Kind2 CI #285: Commit 3c847e1 pushed by lorchrob
2m 26s set-add-element
set-add-element
2m 26s
Add set add element test cases Kind2 CI #284: Commit 26ab490 pushed by lorchrob
22m 0s set-add-element
set-add-element
22m 0s
Debugging set add element, new test case, and desugar to set add elem… Kind2 CI #283: Commit 3eed687 pushed by lorchrob
29m 30s set-add-element
set-add-element
29m 30s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #266: Scheduled
1s develop
develop
1s
Fix syntax errors in test case Kind2 CI #282: Commit a1dfe98 pushed by lorchrob
21m 11s sets
sets
21m 11s
Kind2 CI Kind2 CI #281: by lorchrob
3m 47s set-add-element
set-add-element
3m 47s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #265: Scheduled
2s develop
develop
2s
Set add element debugging Kind2 CI #280: Commit 42540df pushed by lorchrob
22m 40s set-add-element
set-add-element
22m 40s
Merge branch 'develop' into kind2-vampire Kind2 CI #279: Commit 23eb03f pushed by lorchrob
22m 44s kind2-vampire
kind2-vampire
22m 44s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #264: Scheduled
1s develop
develop
1s
First pass concrete non-empty set constants Kind2 CI #278: Commit 939a62f pushed by lorchrob
24m 56s set-add-element
set-add-element
24m 56s
Merge pull request #1224 from daniel-larraz/fix-invgenos Kind 2 DockerHub #34: Commit cce530b pushed by lorchrob
Skipped develop
develop
Skipped
Merge pull request #1224 from daniel-larraz/fix-invgenos Kind2 CI #277: Commit cce530b pushed by lorchrob
22m 50s develop
develop
22m 50s
Merge branch 'develop' into sets Kind2 CI #276: Commit be9bf0a pushed by lorchrob
9m 17s sets
sets
9m 17s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #263: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #262: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #261: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #260: Scheduled
1s develop
develop
1s
Remove unused variables Kind2 CI #275: Commit 3c5f0eb pushed by lorchrob
17m 24s sets
sets
17m 24s
Merge branch 'develop' into sets Kind2 CI #274: Commit cc63ae6 pushed by lorchrob
1m 56s sets
sets
1m 56s