Skip to content

Actions: hirrolot/mazeppa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release v0.7.2 OCaml CI #231: Commit c219063 pushed by hirrolot
11m 7s master
master
11m 7s
Remove List.is_empty usage OCaml CI #230: Commit b01bba1 pushed by hirrolot
1m 17s master
master
1m 17s
Release 0.7.1 OCaml CI #229: Commit 2bf4c71 pushed by hirrolot
10m 44s master
master
10m 44s
Revise the README again OCaml CI #228: Commit a90370f pushed by hirrolot
57s master
master
57s
Link issue #36 in examples/termination-test/ OCaml CI #227: Commit 7408a72 pushed by hirrolot
1m 32s master
master
1m 32s
Fix non-termination due to endless splitting OCaml CI #226: Commit 4b2456e pushed by hirrolot
1m 3s master
master
1m 3s
Fix a new bug in lib/mechanics/process_graph.ml OCaml CI #225: Commit a592bd1 pushed by hirrolot
1m 9s master
master
1m 9s
Refactor lib/mechanics/process_graph.ml OCaml CI #224: Commit e84dfcb pushed by hirrolot
37s master
master
37s
Use the less-than-or-equal heuristic for integers OCaml CI #223: Commit 9040e9c pushed by hirrolot
1m 8s master
master
1m 8s
Gracefully handle unreachable program states OCaml CI #222: Commit 3cbccae pushed by hirrolot
1m 4s master
master
1m 4s
Update the synthesized KMP program in the README OCaml CI #221: Commit 70ef1d4 pushed by hirrolot
1m 23s master
master
1m 23s
Improve the definition of globals for predictability OCaml CI #220: Commit 846afb8 pushed by hirrolot
1m 4s master
master
1m 4s
Better README wording OCaml CI #219: Commit b25f060 pushed by hirrolot
1m 12s master
master
1m 12s
Require checked_oint v1.0.1 or higher OCaml CI #218: Commit b5406c6 pushed by hirrolot
58s master
master
58s
OCaml CI OCaml CI #217: Commit 559fb61 pushed by hirrolot
1m 5s master
master
1m 5s
OCaml CI OCaml CI #216: Commit ca4b843 pushed by hirrolot
1m 5s master
master
1m 5s
Change a few words in the changelog once more OCaml CI #214: Commit 2ecbd15 pushed by hirrolot
1m 9s master
master
1m 9s
Pretty-print foreign function calls properly OCaml CI #213: Commit f61b842 pushed by hirrolot
1m 9s master
master
1m 9s
Refactor the changelog for better wording OCaml CI #212: Commit cf22926 pushed by hirrolot
1m 10s master
master
1m 10s
Check integers according to their bit lengths OCaml CI #211: Commit d72b790 pushed by hirrolot
59s master
master
59s
bisect_ppx and alcotest are for testing only OCaml CI #210: Commit f9dc414 pushed by hirrolot
11m 6s master
master
11m 6s
Release v0.7.0 OCaml CI #209: Commit 242dfd7 pushed by hirrolot
10m 44s master
master
10m 44s
Release v0.6.3 OCaml CI #208: Commit f710658 pushed by hirrolot
10m 49s master
master
10m 49s
The --print-gc-stats flag is not needed anymore OCaml CI #207: Commit c195df9 pushed by hirrolot
1m 3s master
master
1m 3s
Forgot to update switch-statements in the README OCaml CI #206: Commit 31623db pushed by hirrolot
1m 17s master
master
1m 17s