Skip to content

Actions: Kakadu/zanuda

Actions

Build Master in docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master_docker.yml
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: list repos which we are updating Build Master in docker #220: Commit 97e6613 pushed by Kakadu
February 6, 2025 15:45 2m 39s master
master
February 6, 2025 15:45 2m 39s
[ci] USe newer opam 2.3 in standard docker image Build Master in docker #219: Commit ff0a747 pushed by Kakadu
February 6, 2025 15:43 2m 9s master
master
February 6, 2025 15:43 2m 9s
Hacking discovery of OPAM Build Master in docker #218: Commit 295c7ea pushed by Kakadu
February 6, 2025 11:53 5m 39s master
master
February 6, 2025 11:53 5m 39s
Migrating to _nobase PPXes Build Master in docker #217: Commit a8cd94b pushed by Kakadu
February 6, 2025 11:36 2m 14s ppx_nobase
ppx_nobase
February 6, 2025 11:36 2m 14s
CI: update opam in the beginning Build Master in docker #216: Commit 3d44c35 pushed by Kakadu
February 6, 2025 11:36 5m 34s master
master
February 6, 2025 11:36 5m 34s
TEST Build Master in docker #215: Commit aa02e30 pushed by Kakadu
February 6, 2025 11:33 1m 16s ppx_nobase
ppx_nobase
February 6, 2025 11:33 1m 16s
Enable CI for branch ppx_nobase Build Master in docker #214: Commit 02591cb pushed by Kakadu
February 6, 2025 11:28 4m 49s master
master
February 6, 2025 11:28 4m 49s
Disable warning about no-cmx-file coming from dune-build-info package Build Master in docker #213: Commit 71b932f pushed by Kakadu
February 3, 2025 11:53 4m 53s master
master
February 3, 2025 11:53 4m 53s
Minor polishing of mutually recursive typers detection Build Master in docker #212: Commit 3d96eb9 pushed by Kakadu
February 3, 2025 11:51 2m 14s master
master
February 3, 2025 11:51 2m 14s
Use .zanuda for lint about physical equality. TODO: use for all ones Build Master in docker #211: Commit 241ecb3 pushed by Kakadu
February 3, 2025 11:07 4m 37s master
master
February 3, 2025 11:07 4m 37s
[chore] Compile tests in byte code (9,5s -> 7.5s) Build Master in docker #210: Commit 75f6e26 pushed by Kakadu
January 7, 2025 11:17 4m 27s master
master
January 7, 2025 11:17 4m 27s
[chore] Improve code coverage in the review/ tool Build Master in docker #209: Commit d9ced1a pushed by Kakadu
January 7, 2025 11:07 4m 36s master
master
January 7, 2025 11:07 4m 36s
[fix] Add documentation about lint top-file-license Build Master in docker #208: Commit 2dcb725 pushed by Kakadu
January 7, 2025 09:30 4m 37s master
master
January 7, 2025 09:30 4m 37s
[chore] Sort lints by id in th lints list Build Master in docker #207: Commit dd0465b pushed by Kakadu
January 2, 2025 09:21 4m 35s master
master
January 2, 2025 09:21 4m 35s
Lint: expect tests name check (#61) Build Master in docker #206: Commit 58aafc1 pushed by Kakadu
October 24, 2024 15:16 4m 41s master
master
October 24, 2024 15:16 4m 41s
Expect test naming Build Master in docker #205: Pull request #61 synchronize by Kakadu
October 24, 2024 15:05 5m 12s expect_test_naming
expect_test_naming
October 24, 2024 15:05 5m 12s
Expect test naming Build Master in docker #204: Pull request #61 synchronize by Kakadu
October 10, 2024 20:11 4m 12s expect_test_naming
expect_test_naming
October 10, 2024 20:11 4m 12s
Avoid false-positives reporting from the generated code (#62) Build Master in docker #203: Commit f66d302 pushed by Kakadu
October 10, 2024 20:10 4m 57s master
master
October 10, 2024 20:10 4m 57s
Avoid false-positives reporting from the generated code Build Master in docker #202: Pull request #62 synchronize by Kakadu
October 10, 2024 20:00 4m 27s aggregate_tds
aggregate_tds
October 10, 2024 20:00 4m 27s
Avoid false-positives reporting from the generated code Build Master in docker #201: Pull request #62 synchronize by Kakadu
October 10, 2024 17:44 4m 22s aggregate_tds
aggregate_tds
October 10, 2024 17:44 4m 22s
Avoid false-positives reporting from the generated code Build Master in docker #200: Pull request #62 opened by Kakadu
October 10, 2024 17:22 4m 28s aggregate_tds
aggregate_tds
October 10, 2024 17:22 4m 28s
Expect test naming Build Master in docker #199: Pull request #61 opened by Kakadu
October 10, 2024 17:21 4m 22s expect_test_naming
expect_test_naming
October 10, 2024 17:21 4m 22s
Chore: Minor polishing after applying linter to compilers 2023 repo Build Master in docker #198: Commit 26de476 pushed by Kakadu
July 28, 2024 12:44 4m 16s master
master
July 28, 2024 12:44 4m 16s
Minor polishing of a lint about Eta expansion Build Master in docker #197: Commit 234a806 pushed by Kakadu
July 28, 2024 11:51 4m 20s master
master
July 28, 2024 11:51 4m 20s
Fix defects found on self-applications. Many still left Build Master in docker #196: Commit c0af402 pushed by Kakadu
July 28, 2024 10:22 4m 31s master
master
July 28, 2024 10:22 4m 31s