Skip to content

Actions: Kakadu/zanuda

Actions

Build Master in docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master_docker.yml
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Improve tests for lint 'mutability_check' Build Master in docker #195: Commit 1e7c6e0 pushed by Kakadu
July 28, 2024 10:10 4m 34s master
master
July 28, 2024 10:10 4m 34s
Mutability exceptions Build Master in docker #194: Pull request #60 synchronize by Kakadu
July 28, 2024 10:01 4m 22s mutability_exceptions
mutability_exceptions
July 28, 2024 10:01 4m 22s
Mutability exceptions Build Master in docker #193: Pull request #60 opened by Kakadu
July 28, 2024 09:39 4m 26s mutability_exceptions
mutability_exceptions
July 28, 2024 09:39 4m 26s
Remove template for unified diff library #58 Build Master in docker #192: Commit 26f86ab pushed by Kakadu
July 28, 2024 08:39 4m 29s master
master
July 28, 2024 08:39 4m 29s
README Build Master in docker #191: Commit ff2d3ac pushed by Kakadu
July 26, 2024 13:16 4m 47s master
master
July 26, 2024 13:16 4m 47s
chore: polishing documentation Build Master in docker #190: Commit 212dc9b pushed by Kakadu
July 26, 2024 12:54 4m 39s master
master
July 26, 2024 12:54 4m 39s
Update tests to use local zanuda executable. Related to #57 Build Master in docker #189: Commit 0581284 pushed by Kakadu
July 26, 2024 11:28 4m 50s master
master
July 26, 2024 11:28 4m 50s
Fix compilation after renaming of modules to snake_case Build Master in docker #188: Commit a725810 pushed by Kakadu
July 26, 2024 11:06 4m 35s master
master
July 26, 2024 11:06 4m 35s
chore: .git-blame-ignore-revs Build Master in docker #187: Commit 662bdc5 pushed by Kakadu
July 26, 2024 10:55 4m 9s master
master
July 26, 2024 10:55 4m 9s
Add lint_filesystem to be listed in all available lints web page. Build Master in docker #186: Commit 6bacc7b pushed by Kakadu
July 25, 2024 17:07 4m 38s master
master
July 25, 2024 17:07 4m 38s
chore: .opam file, ignore reformatting in git blame Build Master in docker #185: Commit 9277871 pushed by Kakadu
July 25, 2024 16:50 1m 18s master
master
July 25, 2024 16:50 1m 18s
CI: Trying to call odig right Build Master in docker #184: Commit 7382ec2 pushed by Kakadu
July 25, 2024 16:38 4m 44s master
master
July 25, 2024 16:38 4m 44s
CI: try to switch to odig for API documentation Build Master in docker #183: Commit 260e713 pushed by Kakadu
July 25, 2024 15:55 4m 37s master
master
July 25, 2024 15:55 4m 37s
Rename CHnages file Build Master in docker #182: Commit 0421949 pushed by Kakadu
July 25, 2024 15:26 4m 48s master
master
July 25, 2024 15:26 4m 48s