Skip to content

Actions: imandra-ai/imandrakit

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gh-pages.yml
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #12 from imandra-ai/simon/moonpool-plus-picos github pages #108: Commit d76bc6a pushed by c-cube
September 12, 2024 16:26 3m 31s main
main
September 12, 2024 16:26 3m 31s
remove dep on moonpool for log github pages #107: Commit fb3a4d4 pushed by c-cube
September 9, 2024 16:00 5m 40s main
main
September 9, 2024 16:00 5m 40s
Merge pull request #11 from imandra-ai/christoph/fix-setrlimit github pages #106: Commit 0c9b1c3 pushed by wintersteiger
August 27, 2024 12:51 2m 40s main
main
August 27, 2024 12:51 2m 40s
popen github pages #105: Commit 4b70edf pushed by c-cube
August 23, 2024 19:07 5m 53s main
main
August 23, 2024 19:07 5m 53s
add Basic_bv.pp github pages #104: Commit 9d26f15 pushed by c-cube
August 20, 2024 19:25 2m 36s main
main
August 20, 2024 19:25 2m 36s
add Basic_bv.pp github pages #103: Commit 647eac5 pushed by c-cube
August 20, 2024 19:24 2m 13s main
main
August 20, 2024 19:24 2m 13s
feat basic-bv: add twine deriving github pages #102: Commit 6425816 pushed by c-cube
August 20, 2024 19:23 3m 4s main
main
August 20, 2024 19:23 3m 4s
format github pages #101: Commit e43e2d7 pushed by c-cube
August 19, 2024 19:03 2m 51s main
main
August 19, 2024 19:03 2m 51s
detail: tests for twine github pages #100: Commit ca1d75a pushed by c-cube
August 16, 2024 14:28 3m 21s main
main
August 16, 2024 14:28 3m 21s
feat: Log_event.{to,of}_twine github pages #99: Commit 805aef8 pushed by c-cube
August 13, 2024 20:58 2m 53s main
main
August 13, 2024 20:58 2m 53s
add Logger.emit_ev github pages #98: Commit 75689f5 pushed by c-cube
August 13, 2024 19:57 6m 54s main
main
August 13, 2024 19:57 6m 54s
udpate test github pages #97: Commit 702cc19 pushed by c-cube
August 1, 2024 16:16 3m 22s main
main
August 1, 2024 16:16 3m 22s
feat typereg: store whether a typedef is unboxed github pages #96: Commit 2a93078 pushed by c-cube
July 31, 2024 18:18 6m 35s main
main
July 31, 2024 18:18 6m 35s
feat typereg: iter functions github pages #95: Commit b822c2f pushed by c-cube
July 23, 2024 16:29 2m 40s main
main
July 23, 2024 16:29 2m 40s
feat: have error implement typereg github pages #94: Commit 571b923 pushed by c-cube
July 23, 2024 15:24 2m 46s main
main
July 23, 2024 15:24 2m 46s
add json/pp to Ty_reg.clique github pages #93: Commit 17ee531 pushed by c-cube
July 16, 2024 17:11 3m 6s main
main
July 16, 2024 17:11 3m 6s
typereg: store cliques, not just single defs; add map github pages #92: Commit fe81817 pushed by c-cube
July 16, 2024 17:02 3m 3s main
main
July 16, 2024 17:02 3m 3s
make typereg serializable to json github pages #91: Commit 62cf23c pushed by c-cube
July 9, 2024 17:04 3m 12s main
main
July 9, 2024 17:04 3m 12s
doc github pages #90: Commit b6b130a pushed by c-cube
July 9, 2024 16:00 6m 22s main
main
July 9, 2024 16:00 6m 22s
feat: add Fut.any github pages #89: Commit d6b8c21 pushed by c-cube
June 13, 2024 16:42 2m 48s main
main
June 13, 2024 16:42 2m 48s
chore: try to fix docgen in CI github pages #88: Commit 83d2c24 pushed by c-cube
June 12, 2024 17:10 2m 51s main
main
June 12, 2024 17:10 2m 51s
Merge pull request #8 from imandra-ai/simon/compat-4.12 github pages #87: Commit 75d2b74 pushed by c-cube
June 12, 2024 16:41 5m 26s main
main
June 12, 2024 16:41 5m 26s
chore: missing dep github pages #86: Commit 2310990 pushed by c-cube
June 7, 2024 15:14 4m 18s main
main
June 7, 2024 15:14 4m 18s
Merge pull request #7 from imandra-ai/simon/typereg github pages #85: Commit b61ba3e pushed by c-cube
June 3, 2024 14:38 4m 30s main
main
June 3, 2024 14:38 4m 30s
Merge pull request #6 from imandra-ai/simon/reduce-deps github pages #84: Commit d3e0846 pushed by c-cube
May 30, 2024 19:33 4m 18s main
main
May 30, 2024 19:33 4m 18s