Skip to content

Actions: jogadordabeira/Standaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unused for now CI #15: Commit 1d5fe1c pushed by jogadordabeira
November 4, 2023 11:19 14m 55s master
master
November 4, 2023 11:19 14m 55s
qualified subdirs CI #14: Commit cca25ce pushed by jogadordabeira
November 4, 2023 11:17 13m 8s master
master
November 4, 2023 11:17 13m 8s
parsing w/ fetch (first steps) CI #13: Commit 65334c3 pushed by jogadordabeira
November 4, 2023 10:40 13m 3s master
master
November 4, 2023 10:40 13m 3s
reorganising a bit CI #12: Commit 0c5a132 pushed by jogadordabeira
November 2, 2023 17:23 16m 23s master
master
November 2, 2023 17:23 16m 23s
mli ocamldoc comments + mli signatures cleaning (only exposed functio… CI #11: Commit fd6680d pushed by jogadordabeira
November 1, 2023 11:39 13m 31s master
master
November 1, 2023 11:39 13m 31s
add yojson dependency CI #10: Commit 5002886 pushed by jogadordabeira
November 1, 2023 11:25 15m 54s master
master
November 1, 2023 11:25 15m 54s
commenting CI #9: Commit 51901d6 pushed by jogadordabeira
October 31, 2023 17:47 17m 37s master
master
October 31, 2023 17:47 17m 37s
user to root CI #8: Commit a5191f7 pushed by jogadordabeira
October 31, 2023 17:28 13m 50s master
master
October 31, 2023 17:28 13m 50s
ain't convinced but worth trying CI #7: Commit 2f32513 pushed by jogadordabeira
October 30, 2023 18:33 13m 22s master
master
October 30, 2023 18:33 13m 22s
renaming CI #6: Commit 3a59216 pushed by jogadordabeira
October 30, 2023 18:11 13m 11s master
master
October 30, 2023 18:11 13m 11s
w/ sudo CI #5: Commit c920766 pushed by jogadordabeira
October 30, 2023 18:04 13m 52s master
master
October 30, 2023 18:04 13m 52s
and again CI #4: Commit 3ebcfbb pushed by jogadordabeira
October 30, 2023 17:38 14m 20s master
master
October 30, 2023 17:38 14m 20s
try again CI #3: Commit cf7cb5e pushed by jogadordabeira
October 30, 2023 17:34 1m 55s master
master
October 30, 2023 17:34 1m 55s
fixing pwd + dividing build and test + image better tag CI #2: Commit 652bf28 pushed by jogadordabeira
October 30, 2023 17:10 13m 51s master
master
October 30, 2023 17:10 13m 51s
creating docker-image.yml CI #1: Commit 5c34bd7 pushed by jogadordabeira
October 30, 2023 16:54 13m 4s master
master
October 30, 2023 16:54 13m 4s