Skip to content

Actions: saramahmmud/ocaml_hc

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
42 workflow runs
42 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
licenses Hygiene #60: Commit 1936489 pushed by saramahmmud
May 10, 2023 20:16 1m 14s e
e
May 10, 2023 20:16 1m 14s
licenses Build #60: Commit 1936489 pushed by saramahmmud
May 10, 2023 20:16 8m 31s e
e
May 10, 2023 20:16 8m 31s
restructure repository Hygiene #59: Commit 85a458a pushed by saramahmmud
May 10, 2023 20:10 1m 28s e
e
May 10, 2023 20:10 1m 28s
restructure repository Build #59: Commit 85a458a pushed by saramahmmud
May 10, 2023 20:10 1m 59s e
e
May 10, 2023 20:10 1m 59s
dpll Build #58: Commit 0599d95 pushed by saramahmmud
May 1, 2023 19:05 6m 16s e
e
May 1, 2023 19:05 6m 16s
dpll Hygiene #58: Commit 0599d95 pushed by saramahmmud
May 1, 2023 19:05 1m 4s e
e
May 1, 2023 19:05 1m 4s
str_comp_2 Hygiene #57: Commit b014544 pushed by saramahmmud
May 1, 2023 15:11 1m 17s e
e
May 1, 2023 15:11 1m 17s
str_comp_2 Build #57: Commit b014544 pushed by saramahmmud
May 1, 2023 15:11 7m 25s e
e
May 1, 2023 15:11 7m 25s
depth first gc Build #56: Commit 230dc8c pushed by saramahmmud
April 29, 2023 19:36 7m 20s e
e
April 29, 2023 19:36 7m 20s
depth first gc Hygiene #56: Commit 230dc8c pushed by saramahmmud
April 29, 2023 19:36 50s e
e
April 29, 2023 19:36 50s
update eval program Hygiene #55: Commit da73f21 pushed by saramahmmud
April 29, 2023 13:25 50s e
e
April 29, 2023 13:25 50s
update eval program Build #55: Commit da73f21 pushed by saramahmmud
April 29, 2023 13:25 6m 11s e
e
April 29, 2023 13:25 6m 11s
eval programs Build #54: Commit 484ddd4 pushed by saramahmmud
April 29, 2023 13:23 6m 43s e
e
April 29, 2023 13:23 6m 43s
eval programs Hygiene #54: Commit 484ddd4 pushed by saramahmmud
April 29, 2023 13:23 1m 1s e
e
April 29, 2023 13:23 1m 1s
debruijn_hc eval program Build #53: Commit 85c9d38 pushed by saramahmmud
April 27, 2023 17:27 6m 54s e
e
April 27, 2023 17:27 6m 54s
debruijn_hc eval program Hygiene #53: Commit 85c9d38 pushed by saramahmmud
April 27, 2023 17:27 51s e
e
April 27, 2023 17:27 51s
bug fix ocaml boxed ints Build #52: Commit b287a17 pushed by saramahmmud
April 27, 2023 12:52 7m 33s e
e
April 27, 2023 12:52 7m 33s
bug fix ocaml boxed ints Hygiene #52: Commit b287a17 pushed by saramahmmud
April 27, 2023 12:52 57s e
e
April 27, 2023 12:52 57s
print debruijn sort output Hygiene #51: Commit 3e3429a pushed by saramahmmud
April 25, 2023 09:58 52s e
e
April 25, 2023 09:58 52s
print debruijn sort output Build #51: Commit 3e3429a pushed by saramahmmud
April 25, 2023 09:58 6m 6s e
e
April 25, 2023 09:58 6m 6s
eval programs Hygiene #50: Commit 5b63c4d pushed by saramahmmud
April 24, 2023 23:21 48s e
e
April 24, 2023 23:21 48s
eval programs Build #50: Commit 5b63c4d pushed by saramahmmud
April 24, 2023 23:21 7m 22s e
e
April 24, 2023 23:21 7m 22s
unit tests Build #49: Commit c1b268a pushed by saramahmmud
April 24, 2023 23:20 6m 9s e
e
April 24, 2023 23:20 6m 9s
unit tests Hygiene #49: Commit c1b268a pushed by saramahmmud
April 24, 2023 23:20 51s e
e
April 24, 2023 23:20 51s
remove prints and change test Hygiene #48: Commit d663d87 pushed by saramahmmud
April 24, 2023 09:56 51s e
e
April 24, 2023 09:56 51s