Skip to content

Actions: lorchrob/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,282 workflow runs
1,282 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
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #547: Scheduled
2s main
main
2s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #546: Scheduled
1s main
main
1s
Address instance of code duplication Kind2 CI #909: Commit 117bafa pushed by lorchrob
1h 14m 43s recursive-adts
recursive-adts
1h 14m 43s
Clean up PR minor changes Kind2 CI #908: Commit 7e38ff0 pushed by lorchrob
1h 7m 30s recursive-adts
recursive-adts
1h 7m 30s
Revert all those huge changes to lustreFlattenRefinementTypes.ml Kind2 CI #907: Commit 62746b1 pushed by lorchrob
1h 6m 55s recursive-adts
recursive-adts
1h 6m 55s
Remove unused test case Kind2 CI #906: Commit 86295de pushed by lorchrob
1h 13m 6s recursive-adts
recursive-adts
1h 13m 6s
Remove duplicates in testLustreFrontend.ml Kind2 CI #905: Commit 7fd87f5 pushed by lorchrob
1h 12m 57s recursive-adts
recursive-adts
1h 12m 57s
More whitespace Kind2 CI #904: Commit b840c7e pushed by lorchrob
1h 3m 28s recursive-adts
recursive-adts
1h 3m 28s
More whitespace Kind2 CI #903: Commit cec45ea pushed by lorchrob
55m 58s recursive-adts
recursive-adts
55m 58s
More whitespace diffs Kind2 CI #902: Commit e4ac619 pushed by lorchrob
46m 43s recursive-adts
recursive-adts
46m 43s
Whitespace diffs Kind2 CI #901: Commit 568984c pushed by lorchrob
41m 48s recursive-adts
recursive-adts
41m 48s
Don't need support for SMT-LIB level match in the backend anymore Kind2 CI #900: Commit 761c608 pushed by lorchrob
36m 18s recursive-adts
recursive-adts
36m 18s
WIP: Support abstract types for ADTs Kind2 CI #899: Commit 81ccfc0 pushed by lorchrob
38m 53s adt-abstract-types
adt-abstract-types
38m 53s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #545: Scheduled
1s main
main
1s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #544: Scheduled
1s main
main
1s
Remove comment in test case Kind2 CI #898: Commit ebf7d60 pushed by lorchrob
1h 4m 6s fix-nested-map-equality-guards-2
fix-nested-map-equality-guards-2
1h 4m 6s
Minor Kind2 CI #897: Commit b9b186c pushed by lorchrob
1h 7m 27s fix-nested-map-equality-guards-2
fix-nested-map-equality-guards-2
1h 7m 27s
Whitespace diffs Kind2 CI #896: Commit 133826d pushed by lorchrob
47m 59s fix-nested-map-equality-guards-2
fix-nested-map-equality-guards-2
47m 59s
Merge branch 'main' into fix-nested-map-equality-guards-2 Kind2 CI #895: Commit 203cad6 pushed by lorchrob
48m 5s fix-nested-map-equality-guards-2
fix-nested-map-equality-guards-2
48m 5s
Refactor map equality PR Kind2 CI #894: Commit 69eee83 pushed by lorchrob
28m 56s fix-nested-map-equality-guards-2
fix-nested-map-equality-guards-2
28m 56s
Refactor map equality PR Kind2 CI #893: Commit 69eee83 pushed by lorchrob
31m 23s fix-nested-map-equality-guards
fix-nested-map-equality-guards
31m 23s
Kind 2 Nightlies / Release Kind 2 Nightlies / Release #543: Scheduled
2s main
main
2s
Whitespace diffs Kind2 CI #892: Commit d2850a5 pushed by lorchrob
32m 24s recursive-adts
recursive-adts
32m 24s
Revert whitespace diffs Kind2 CI #891: Commit b47f08e pushed by lorchrob
39m 28s recursive-adts
recursive-adts
39m 28s
Merge branch 'main' into recursive-adts Kind2 CI #890: Commit 192459e pushed by lorchrob
27m 53s recursive-adts
recursive-adts
27m 53s