Skip to content

Actions: johnynek/bosatsu

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,110 workflow runs
1,110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve TypedExpr.substitute issue 1126 ci #2624: Pull request #1313 synchronize by johnynek
December 11, 2024 23:44 21m 10s oscar/20241211-improve_subs
oscar/20241211-improve_subs
December 11, 2024 23:44 21m 10s
Improve TypedExpr.substitute issue 1126 ci #2623: Pull request #1313 synchronize by johnynek
December 11, 2024 23:18 12m 10s oscar/20241211-improve_subs
oscar/20241211-improve_subs
December 11, 2024 23:18 12m 10s
Improve TypedExpr.substitute issue 1126 ci #2622: Pull request #1313 opened by johnynek
December 11, 2024 23:07 20m 39s oscar/20241211-improve_subs
oscar/20241211-improve_subs
December 11, 2024 23:07 20m 39s
pages build and deployment pages-build-deployment #141: by github-pages bot
December 11, 2024 20:10 29s gh-pages
gh-pages
December 11, 2024 20:10 29s
Rename string_Order_fn to cmp_String, close #1277 (#1310) Build and Deploy to GitHub Pages #151: Commit 389f52b pushed by johnynek
December 11, 2024 20:07 3m 47s main
main
December 11, 2024 20:07 3m 47s
pages build and deployment pages-build-deployment #140: by github-pages bot
December 11, 2024 19:43 24s gh-pages
gh-pages
December 11, 2024 19:43 24s
suggest recur when functions use match and recur. (#1312) Build and Deploy to GitHub Pages #150: Commit 181dfe0 pushed by johnynek
December 11, 2024 19:39 3m 37s main
main
December 11, 2024 19:39 3m 37s
Rename string_Order_fn to cmp_String, close #1277 ci #2621: Pull request #1310 synchronize by johnynek
December 11, 2024 19:37 20m 42s oscar/20241211-rename_string_order_fn_issue_1277
oscar/20241211-rename_string_order_fn_issue_1277
December 11, 2024 19:37 20m 42s
pages build and deployment pages-build-deployment #139: by github-pages bot
December 11, 2024 19:34 24s gh-pages
gh-pages
December 11, 2024 19:34 24s
update language guide Build and Deploy to GitHub Pages #149: Commit 4dc0a00 pushed by johnynek
December 11, 2024 19:30 4m 6s main
main
December 11, 2024 19:30 4m 6s
pages build and deployment pages-build-deployment #138: by github-pages bot
December 11, 2024 19:26 27s gh-pages
gh-pages
December 11, 2024 19:26 27s
Rename foldLeft to foldl_List (#1311) Build and Deploy to GitHub Pages #148: Commit 869c30b pushed by johnynek
December 11, 2024 19:22 3m 40s main
main
December 11, 2024 19:22 3m 40s
suggest recur when functions use match and recur. ci #2620: Pull request #1312 opened by johnynek
December 11, 2024 19:15 21m 20s oscar/20241211-close_1309
oscar/20241211-close_1309
December 11, 2024 19:15 21m 20s
Rename foldLeft to foldl_List ci #2619: Pull request #1311 opened by johnynek
December 11, 2024 18:59 20m 47s oscar/20241211-rename_foldLeft
oscar/20241211-rename_foldLeft
December 11, 2024 18:59 20m 47s
Rename string_Order_fn to cmp_String, close #1277 ci #2618: Pull request #1310 opened by johnynek
December 11, 2024 18:42 20m 45s oscar/20241211-rename_string_order_fn_issue_1277
oscar/20241211-rename_string_order_fn_issue_1277
December 11, 2024 18:42 20m 45s
pages build and deployment pages-build-deployment #137: by github-pages bot
December 11, 2024 17:50 26s gh-pages
gh-pages
December 11, 2024 17:50 26s
Make a simple fib computing program for naive benchmarks (#1308) Build and Deploy to GitHub Pages #147: Commit b2248d0 pushed by johnynek
December 11, 2024 17:46 3m 44s main
main
December 11, 2024 17:46 3m 44s
pages build and deployment pages-build-deployment #136: by github-pages bot
December 11, 2024 02:54 28s gh-pages
gh-pages
December 11, 2024 02:54 28s
pages build and deployment pages-build-deployment #135: by github-pages bot
December 11, 2024 02:53 24s gh-pages
gh-pages
December 11, 2024 02:53 24s
pages build and deployment pages-build-deployment #134: by github-pages bot
December 11, 2024 02:52 23s gh-pages
gh-pages
December 11, 2024 02:52 23s
Make a simple fib computing program for naive benchmarks ci #2617: Pull request #1308 opened by johnynek
December 11, 2024 02:51 22m 59s oscar/20241211-fib_bench
oscar/20241211-fib_bench
December 11, 2024 02:51 22m 59s
Add string_to_Int to predef (#1307) Build and Deploy to GitHub Pages #146: Commit 34a90df pushed by johnynek
December 11, 2024 02:50 3m 50s main
main
December 11, 2024 02:50 3m 50s
Make a simple fib computing program for naive benchmarks Build and Deploy to GitHub Pages #145: Commit 9e442d2 pushed by johnynek
December 11, 2024 02:50 3m 41s main
main
December 11, 2024 02:50 3m 41s
Add string_to_Int to predef (#1307) Build and Deploy to GitHub Pages #144: Commit 34a90df pushed by johnynek
December 11, 2024 02:49 3m 43s main
main
December 11, 2024 02:49 3m 43s
Add string_to_Int to predef ci #2616: Pull request #1307 opened by johnynek
December 11, 2024 02:05 20m 31s oscar/20241211-string_to_Int
oscar/20241211-string_to_Int
December 11, 2024 02:05 20m 31s