Skip to content

Actions: Kakadu/zanuda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #36: by github-pages bot
July 25, 2024 15:31 26s gh-pages
gh-pages
July 25, 2024 15:31 26s
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
Lint license simplify Build Master in docker #181: Pull request #56 synchronize by Kakadu
July 25, 2024 15:26 4m 7s lint-license-simplify
lint-license-simplify
July 25, 2024 15:26 4m 7s
Lint license simplify Build Master in docker #180: Pull request #56 opened by Kakadu
July 25, 2024 15:17 4m 12s lint-license-simplify
lint-license-simplify
July 25, 2024 15:17 4m 12s
pages build and deployment pages-build-deployment #35: by github-pages bot
July 25, 2024 13:37 25s gh-pages
gh-pages
July 25, 2024 13:37 25s
Fix CI action Build Master in docker #179: Commit 43abc54 pushed by Kakadu
July 25, 2024 13:33 4m 31s master
master
July 25, 2024 13:33 4m 31s
Fix License years and add odoc dependecies Build Master in docker #178: Commit 0bbf5d8 pushed by Kakadu
July 25, 2024 13:32 1s master
master
July 25, 2024 13:32 1s
pages build and deployment pages-build-deployment #34: by github-pages bot
July 25, 2024 12:57 27s gh-pages
gh-pages
July 25, 2024 12:57 27s
CHANGES Build Master in docker #177: Commit de9e040 pushed by Kakadu
July 25, 2024 12:52 4m 28s master
master
July 25, 2024 12:52 4m 28s
Unused decls support Build Master in docker #176: Pull request #54 synchronize by Kakadu
July 25, 2024 12:43 4m 7s unused_decls
unused_decls
July 25, 2024 12:43 4m 7s
Unused decls support Build Master in docker #175: Pull request #54 synchronize by Kakadu
July 24, 2024 22:18 4m 14s unused_decls
unused_decls
July 24, 2024 22:18 4m 14s
Unused decls support Build Master in docker #174: Pull request #54 synchronize by Kakadu
July 24, 2024 16:37 4m 20s unused_decls
unused_decls
July 24, 2024 16:37 4m 20s
Unused decls support Build Master in docker #173: Pull request #54 synchronize by Kakadu
July 24, 2024 13:20 4m 34s unused_decls
unused_decls
July 24, 2024 13:20 4m 34s
Unused decls support Build Master in docker #172: Pull request #54 synchronize by Kakadu
July 20, 2024 13:08 4m 18s unused_decls
unused_decls
July 20, 2024 13:08 4m 18s
Unused decls support Build Master in docker #171: Pull request #54 opened by Kakadu
July 20, 2024 12:44 4m 9s unused_decls
unused_decls
July 20, 2024 12:44 4m 9s
pages build and deployment pages-build-deployment #33: by github-pages bot
June 13, 2024 09:25 28s gh-pages
gh-pages
June 13, 2024 09:25 28s
pages build and deployment pages-build-deployment #32: by github-pages bot
June 13, 2024 09:25 4s gh-pages
gh-pages
June 13, 2024 09:25 4s
Fix #53: Warn about "%s" (with explicit quotes) in formatted strings Build Master in docker #170: Commit 2b80955 pushed by Kakadu
June 13, 2024 09:20 4m 56s master
master
June 13, 2024 09:20 4m 56s
pages build and deployment pages-build-deployment #31: by github-pages bot
May 10, 2024 17:15 27s gh-pages
gh-pages
May 10, 2024 17:15 27s
pages build and deployment pages-build-deployment #30: by github-pages bot
May 10, 2024 17:15 11s gh-pages
gh-pages
May 10, 2024 17:15 11s
Eta reduction (#50) Build Master in docker #169: Commit e320eef pushed by Kakadu
May 10, 2024 17:11 4m 44s master
master
May 10, 2024 17:11 4m 44s
rewrite to match Build Master in docker #168: Commit ec85d54 pushed by Kakadu
May 10, 2024 17:10 4m 54s master
master
May 10, 2024 17:10 4m 54s
add match-bool lint Build Master in docker #167: Pull request #51 synchronize by jegorpopow
May 9, 2024 20:06 4m 19s jegorpopow:match_bool
jegorpopow:match_bool
May 9, 2024 20:06 4m 19s
Eta reduction Build Master in docker #166: Pull request #50 synchronize by jegorpopow
May 9, 2024 18:44 4m 20s jegorpopow:eta-reduction
jegorpopow:eta-reduction
May 9, 2024 18:44 4m 20s
pages build and deployment pages-build-deployment #29: by github-pages bot
May 9, 2024 16:49 32s gh-pages
gh-pages
May 9, 2024 16:49 32s