Skip to content

Actions: Kakadu/zanuda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add lint about constructor names that hide default constructor names (fix #26) Build Master in docker #103: Pull request #32 synchronize by nemakin
November 3, 2023 16:15 4m 22s nemakin:master
nemakin:master
November 3, 2023 16:15 4m 22s
feat: Var_should_not_be_used lint. Allow more variable names Build Master in docker #102: Commit 2ab0b6f pushed by Kakadu
November 1, 2023 20:01 6m 35s master
master
November 1, 2023 20:01 6m 35s
Specify ocamlformat.0.26.1 as dev dependecy Build Master in docker #101: Commit a08a2e1 pushed by Kakadu
October 30, 2023 22:01 6m 46s master
master
October 30, 2023 22:01 6m 46s
Add lint about constructor names that hide default constructor names (fix #26) Build Master in docker #100: Pull request #32 synchronize by nemakin
October 26, 2023 16:46 7m 24s nemakin:master
nemakin:master
October 26, 2023 16:46 7m 24s
Add lint about constructor names that hide default constructor names (fix #26) Build Master in docker #99: Pull request #32 synchronize by nemakin
October 26, 2023 15:27 7m 5s nemakin:master
nemakin:master
October 26, 2023 15:27 7m 5s
Add lint about constructor names that hide default constructor names (fix #26) Build Master in docker #98: Pull request #32 opened by nemakin
October 26, 2023 15:16 6m 24s nemakin:master
nemakin:master
October 26, 2023 15:16 6m 24s
Propose_function is rewritten as Untyped analysis Build Master in docker #97: Commit 6443a9f pushed by Kakadu
October 22, 2023 18:42 5m 35s master
master
October 22, 2023 18:42 5m 35s
pages build and deployment pages-build-deployment #14: by github-pages bot
October 13, 2023 18:10 36s
October 13, 2023 18:10 36s
pages build and deployment pages-build-deployment #13: by github-pages bot
October 13, 2023 18:10 6s
October 13, 2023 18:10 6s
Add lint about nested if expressions (Fix #28) (#30) Build Master in docker #96: Commit a64938f pushed by Kakadu
October 13, 2023 18:04 6m 10s master
master
October 13, 2023 18:04 6m 10s
Add lint about nested if expressions (Fix #28) Build Master in docker #95: Pull request #30 synchronize by Artem-Rzhankoff
October 13, 2023 17:19 5m 45s master
master
October 13, 2023 17:19 5m 45s
Add lint about nested if expressions (Fix #28) Build Master in docker #94: Pull request #30 opened by Artem-Rzhankoff
October 13, 2023 15:47 5m 41s master
master
October 13, 2023 15:47 5m 41s
remove dead code in DIFF parser Build Master in docker #93: Commit ba5887a pushed by Kakadu
October 1, 2023 15:58 5m 32s master
master
October 1, 2023 15:58 5m 32s
feat: Enhance mutability checks Build Master in docker #92: Commit 79be8b5 pushed by Kakadu
October 1, 2023 15:53 5m 49s master
master
October 1, 2023 15:53 5m 49s
pages build and deployment pages-build-deployment #12: by github-pages bot
September 30, 2023 20:12 38s
September 30, 2023 20:12 38s
Polishing reviewer Build Master in docker #91: Commit 1e79aaf pushed by Kakadu
September 30, 2023 20:07 5m 49s master
master
September 30, 2023 20:07 5m 49s
feat: [DIFF] support more extended header lines Build Master in docker #90: Commit f8e7ce5 pushed by Kakadu
September 30, 2023 18:52 8m 15s master
master
September 30, 2023 18:52 8m 15s
pages build and deployment pages-build-deployment #11: by github-pages bot
August 16, 2023 10:54 32s
August 16, 2023 10:54 32s
Trying to fix 'Error (alert deprecated): module Caml [since v0.16]' Build Master in docker #89: Commit 9ac4b4d pushed by Kakadu
August 16, 2023 10:47 6m 31s master
master
August 16, 2023 10:47 6m 31s
Trying to fix 'Error (alert deprecated): module Caml [since v0.16]' Build Master in docker #88: Commit 224bc76 pushed by Kakadu
August 16, 2023 10:36 6m 58s master
master
August 16, 2023 10:36 6m 58s
Improve dependecies Build Master in docker #87: Commit f6e2c54 pushed by Kakadu
August 16, 2023 10:21 6m 35s master
master
August 16, 2023 10:21 6m 35s
Remove stdio as a dependecy of reviewer Build Master in docker #86: Commit 4d7d107 pushed by Kakadu
August 16, 2023 09:59 6m 6s master
master
August 16, 2023 09:59 6m 6s
CI: trying to fix autoconf dependency Build Master in docker #85: Commit 9361e13 pushed by Kakadu
August 16, 2023 07:52 5m 5s master
master
August 16, 2023 07:52 5m 5s
Fix dependencies handling in CI Build Master in docker #84: Commit d484a16 pushed by Kakadu
August 16, 2023 07:43 4m 51s master
master
August 16, 2023 07:43 4m 51s
Review: better handling of cmd arguments Build Master in docker #83: Commit 0754b1f pushed by Kakadu
August 14, 2023 19:26 4m 34s master
master
August 14, 2023 19:26 4m 34s