Skip to content

Actions: imandra-ai/imandrakit

Actions

Imandrakit CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
58 workflow runs
58 workflow runs

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 CI (#23) Imandrakit CI #353: Commit c2bf56a pushed by wintersteiger
6m 4s main
main
6m 4s
Fix CI Imandrakit CI #352: Pull request #23 synchronize by wintersteiger
2m 39s christoph/fix-ci
christoph/fix-ci
2m 39s
Fix CI Imandrakit CI #351: Pull request #23 synchronize by wintersteiger
2m 48s christoph/fix-ci
christoph/fix-ci
2m 48s
Fix CI Imandrakit CI #350: Pull request #23 synchronize by wintersteiger
2m 28s christoph/fix-ci
christoph/fix-ci
2m 28s
Fix CI Imandrakit CI #349: Pull request #23 synchronize by wintersteiger
2m 27s christoph/fix-ci
christoph/fix-ci
2m 27s
Fix CI Imandrakit CI #348: Pull request #23 opened by wintersteiger
6m 42s christoph/fix-ci
christoph/fix-ci
6m 42s
Upgrade to trace 0.12 Imandrakit CI #347: Pull request #22 synchronize by wintersteiger
2m 49s christoph/new-trace
christoph/new-trace
2m 49s
Upgrade to trace 0.12 Imandrakit CI #346: Pull request #22 synchronize by wintersteiger
2m 17s christoph/new-trace
christoph/new-trace
2m 17s
Upgrade to trace 0.12 Imandrakit CI #345: Pull request #22 synchronize by wintersteiger
2m 20s christoph/new-trace
christoph/new-trace
2m 20s
Upgrade to trace 0.12 Imandrakit CI #344: Pull request #22 synchronize by wintersteiger
5m 54s christoph/new-trace
christoph/new-trace
5m 54s
Upgrade to trace 0.12 Imandrakit CI #343: Pull request #22 opened by wintersteiger
2m 20s christoph/new-trace
christoph/new-trace
2m 20s
Fixes for Windows Imandrakit CI #342: Commit bf6cb12 pushed by wintersteiger
4m 42s main
main
4m 42s
Fix typo Imandrakit CI #341: Commit d4064d9 pushed by wintersteiger
2m 39s main
main
2m 39s
Update dependencies Imandrakit CI #340: Commit 079b575 pushed by wintersteiger
2m 12s main
main
2m 12s
Downgrade to trace 0.10 Imandrakit CI #339: Commit 46e8324 pushed by wintersteiger
2m 19s main
main
2m 19s
More tracing upgrades Imandrakit CI #338: Commit c73b030 pushed by wintersteiger
2m 7s main
main
2m 7s
Update dependencies Imandrakit CI #337: Commit c8783d6 pushed by wintersteiger
2m 45s main
main
2m 45s
Update dependencies Imandrakit CI #336: Commit b5d244f pushed by wintersteiger
5m 52s main
main
5m 52s
more bound fiddling Imandrakit CI #335: Commit 57d4f15 pushed by c-cube
2m 19s main
main
2m 19s
compat with moonpool 0.8 for OCaml 4.xx Imandrakit CI #334: Commit 9bf87b0 pushed by c-cube
2m 9s main
main
2m 9s
compat with moonpool 0.9 for OCaml 4.xx Imandrakit CI #333: Commit 3e28685 pushed by c-cube
2m 6s main
main
2m 6s
fix after moonpool update Imandrakit CI #332: Commit 148f636 pushed by c-cube
2m 17s main
main
2m 17s
chore: bump moonpool lower bound to 0.10 Imandrakit CI #331: Commit b4f8012 pushed by c-cube
5m 55s main
main
5m 55s
add Fut.spawn_ignore Imandrakit CI #330: Commit 9d8e9e4 pushed by c-cube
5m 23s main
main
5m 23s
format Imandrakit CI #329: Commit bda8691 pushed by c-cube
5m 55s main
main
5m 55s