| User |
Repo |
Last Build Time |
Build Status |
Builder version |
Isabelle version |
GH links |
| lexbailey |
lexbailey/interaction-trees |
2024-04-29T14:55:05.679764 |
Success |
v9 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/Z_Machines |
2024-03-30T02:58:30.717127 |
Fail |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/UTP-Designs |
2024-03-30T02:51:38.058771 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/UTP |
2024-03-30T02:50:55.047477 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/UTP-Reactive |
2024-03-30T02:45:21.620111 |
Fail |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/Abstract_Prog_Syntax |
2024-03-30T02:10:02.256134 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/Shallow-Expressions |
2024-03-30T01:51:10.107827 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/Optics |
2024-03-30T01:31:16.274231 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/Z_Toolkit |
2024-03-30T01:31:05.331393 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/Total_Recall |
2024-03-30T01:25:46.439435 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/explore-subgoal |
2024-03-30T00:49:48.992223 |
Success |
v8 |
unknown_version
|
GH | Actions
|
| lexbailey |
lexbailey/utp-main |
2022-11-14T04:34:23.638362 |
Fail |
unknown_version |
unknown_version
|
GH | Actions
|