Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,105 workflow runs
1,105 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix lustre syntax checks for expressions in types Kind2 CI #643: Commit 8b5927d pushed by lorchrob
1m 16s type-ascription-fixes
type-ascription-fixes
1m 16s
Don't check realizability of (generated) type ascription nodes Kind2 CI #642: Commit c59791e pushed by lorchrob
24m 1s type-ascription-fixes
type-ascription-fixes
24m 1s
Inline inlinable nodes Kind2 CI #641: Commit f2a2787 pushed by lorchrob
27m 31s type-ascription-fixes
type-ascription-fixes
27m 31s
Merge branch 'develop' into gen-quantified-vars Kind2 CI #640: Commit cab0abd pushed by lorchrob
22m 31s gen-quantified-vars
gen-quantified-vars
22m 31s
Update kind2.install Kind 2 DockerHub #76: Commit 030795d pushed by lorchrob
2s develop
develop
2s
Update kind2.install Kind2 CI #639: Commit 030795d pushed by lorchrob
38m 50s develop
develop
38m 50s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #461: Scheduled
2s develop
develop
2s
Testing and debugging Kind2 CI #638: Commit 6f3cb25 pushed by lorchrob
29m 10s gen-quantified-vars
gen-quantified-vars
29m 10s
Disallow node calls in nested types Kind2 CI #637: Commit cc6a53a pushed by lorchrob
2m 53s gen-quantified-vars
gen-quantified-vars
2m 53s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #460: Scheduled
1s develop
develop
1s
Fix shadowing issue Kind2 CI #636: Commit 52469d7 pushed by lorchrob
2m 54s gen-quantified-vars
gen-quantified-vars
2m 54s
Disallow any temporal operator under nested type Kind2 CI #635: Commit e8eb203 pushed by lorchrob
4m 32s gen-quantified-vars
gen-quantified-vars
4m 32s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #459: Scheduled
2s develop
develop
2s
Add examples/syntax-test.lus to test script Kind2 CI #634: Commit 008aaeb pushed by lorchrob
28m 1s type-ascription-doc
type-ascription-doc
28m 1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #458: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #457: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #456: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #455: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #454: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #453: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #452: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #451: Scheduled
2s develop
develop
2s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #450: Scheduled
1s develop
develop
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #449: Scheduled
1s develop
develop
1s
Type ascription user doc and syntax-test.lus Kind2 CI #633: Commit 7336bfd pushed by lorchrob
2h 40m 18s type-ascription-doc
type-ascription-doc
2h 40m 18s