Skip to content

Actions: imandra-ai/imandra-http-api-client

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #17 from imandra-ai/kostya/polyvariant-errors Main workflow #84: Commit def9ba6 pushed by aidmandorky
November 10, 2023 18:36 14m 30s kody/CI_tests
kody/CI_tests
November 10, 2023 18:36 14m 30s
chore: testing timeouts for eval 1000 requests Main workflow #83: Commit 4effa07 pushed by aidmandorky
November 1, 2023 14:29 12m 47s kody/test_timeouts
kody/test_timeouts
November 1, 2023 14:29 12m 47s
Merge pull request #17 from imandra-ai/kostya/polyvariant-errors Main workflow #82: Commit def9ba6 pushed by aidmandorky
November 1, 2023 14:28 14m 8s kody/test_timeouts
kody/test_timeouts
November 1, 2023 14:28 14m 8s
chore: add lwt_eio dependency Main workflow #81: Commit e78f9bf pushed by aidmandorky
October 31, 2023 12:07 11m 31s kody/eio-refactor
kody/eio-refactor
October 31, 2023 12:07 11m 31s
feat: replace Lwt_main.run with Lwt_eio Main workflow #80: Commit 018af8d pushed by aidmandorky
October 31, 2023 12:05 10m 36s kody/eio-refactor
kody/eio-refactor
October 31, 2023 12:05 10m 36s
chore: add eio file start Main workflow #79: Commit 45b9f95 pushed by aidmandorky
October 23, 2023 11:21 6m 0s kody/eio-refactor
kody/eio-refactor
October 23, 2023 11:21 6m 0s
Merge pull request #18 from imandra-ai/john/decoders Main workflow #78: Commit 267a573 pushed by hesterjeng
October 16, 2023 19:20 9m 3s main
main
October 16, 2023 19:20 9m 3s
Make the project compatible with Decoder 0.7, add a make format command Main workflow #77: Pull request #18 synchronize by benbellick
October 11, 2023 22:42 7m 50s john/decoders
john/decoders
October 11, 2023 22:42 7m 50s
Apply format to files Main workflow #76: Commit b40dc0b pushed by benbellick
October 11, 2023 22:42 9m 12s john/decoders
john/decoders
October 11, 2023 22:42 9m 12s
Make the project compatible with Decoder 0.7, add a make format command Main workflow #75: Pull request #18 synchronize by hesterjeng
October 11, 2023 18:22 7m 58s john/decoders
john/decoders
October 11, 2023 18:22 7m 58s
chore: remove comments Main workflow #74: Commit 660942a pushed by hesterjeng
October 11, 2023 18:22 7m 54s john/decoders
john/decoders
October 11, 2023 18:22 7m 54s
Make the project compatible with Decoder 0.7, add a make format command Main workflow #73: Pull request #18 opened by hesterjeng
October 11, 2023 00:30 9m 56s john/decoders
john/decoders
October 11, 2023 00:30 9m 56s
feat: add Makefile format command Main workflow #72: Commit 3db10d0 pushed by hesterjeng
October 11, 2023 00:29 8m 3s john/decoders
john/decoders
October 11, 2023 00:29 8m 3s
Merge pull request #17 from imandra-ai/kostya/polyvariant-errors Main workflow #71: Commit def9ba6 pushed by KKostya
October 10, 2023 12:24 15m 55s main
main
October 10, 2023 12:24 15m 55s
Relaxed polymorphic variant error type constraint Main workflow #70: Pull request #17 opened by KKostya
September 26, 2023 10:35 9m 20s kostya/polyvariant-errors
kostya/polyvariant-errors
September 26, 2023 10:35 9m 20s
Relaxed polymorphic variant error type constraint Main workflow #69: Commit ad6a1d0 pushed by KKostya
September 26, 2023 10:33 9m 22s kostya/polyvariant-errors
kostya/polyvariant-errors
September 26, 2023 10:33 9m 22s
test: adding tests as part of CI Main workflow #68: Commit 25f6035 pushed by aidmandorky
September 22, 2023 15:17 6m 30s kody/CI-tests
kody/CI-tests
September 22, 2023 15:17 6m 30s
chore: add lwt reporter to tests Main workflow #67: Commit 97f37c8 pushed by aidmandorky
September 20, 2023 15:16 9m 22s main
main
September 20, 2023 15:16 9m 22s
chore: switch to Logs_lwt to prevent blocking Main workflow #66: Commit 976b506 pushed by aidmandorky
September 20, 2023 14:49 8m 15s main
main
September 20, 2023 14:49 8m 15s
chore: add version Main workflow #65: Commit d869ab2 pushed by aidmandorky
September 13, 2023 18:00 8m 0s main
main
September 13, 2023 18:00 8m 0s
chore: more updates to README Main workflow #64: Commit 4efc608 pushed by aidmandorky
September 13, 2023 16:47 8m 10s main
main
September 13, 2023 16:47 8m 10s
chore: update README Main workflow #63: Commit ddf0d96 pushed by aidmandorky
September 13, 2023 16:42 8m 7s main
main
September 13, 2023 16:42 8m 7s
Merge pull request #16 from imandra-ai/kostya/decompose Main workflow #62: Commit f6db5ff pushed by KKostya
September 13, 2023 16:35 13m 6s main
main
September 13, 2023 16:35 13m 6s
Support for decompose endpoint Main workflow #61: Pull request #16 opened by KKostya
September 13, 2023 16:19 13m 43s kostya/decompose
kostya/decompose
September 13, 2023 16:19 13m 43s
feat: add decompose test Main workflow #60: Commit 8cb7103 pushed by aidmandorky
September 13, 2023 15:09 13m 0s kostya/decompose
kostya/decompose
September 13, 2023 15:09 13m 0s