Skip to content

Actions: JasonSteving99/claro-lang

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
715 workflow runs
715 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Quick Fix in Dynamic Dispatch
Deploy #158: Commit 75df30e pushed by JasonSteving99
June 27, 2023 18:13 1m 58s main
June 27, 2023 18:13 1m 58s
pages build and deployment
pages-build-deployment #94: by github-pages bot
June 22, 2023 19:50 53s
June 22, 2023 19:50 53s
Support Return/Break/Continue W/in Match-Case Action Bodies
Deploy #157: Commit c786265 pushed by JasonSteving99
June 22, 2023 19:50 1m 29s main
June 22, 2023 19:50 1m 29s
pages build and deployment
pages-build-deployment #93: by github-pages bot
June 21, 2023 19:17 56s
June 21, 2023 19:17 56s
Claro Now Supports "Atom" Types!
Deploy #156: Commit 86f0447 pushed by JasonSteving99
June 21, 2023 19:17 1m 23s main
June 21, 2023 19:17 1m 23s
pages build and deployment
pages-build-deployment #92: by github-pages bot
June 20, 2023 21:38 59s
June 20, 2023 21:38 59s
June 20, 2023 21:38 1m 26s
pages build and deployment
pages-build-deployment #91: by github-pages bot
June 15, 2023 01:46 8m 51s
June 15, 2023 01:46 8m 51s
June 15, 2023 01:45 1m 26s
pages build and deployment
pages-build-deployment #90: by github-pages bot
June 14, 2023 23:25 48s
June 14, 2023 23:25 48s
Pattern Matching Now Permits the Presence of Unmatchable Values
Deploy #153: Commit 6928619 pushed by JasonSteving99
June 14, 2023 23:25 1m 35s main
June 14, 2023 23:25 1m 35s
pages build and deployment
pages-build-deployment #89: by github-pages bot
June 14, 2023 18:07 52s
June 14, 2023 18:07 52s
June 14, 2023 18:07 1m 59s
pages build and deployment
pages-build-deployment #88: by github-pages bot
June 14, 2023 00:33 51s
June 14, 2023 00:33 51s
Pattern Matching Now Supports Non-Exhaustiveness Warnings!
Deploy #151: Commit 1fce889 pushed by JasonSteving99
June 14, 2023 00:33 1m 46s main
June 14, 2023 00:33 1m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-06-14 or the other filters available.