Skip to content

Actions: nuscr/oven

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #143: by github-pages bot
July 19, 2023 17:15 35s
July 19, 2023 17:15 35s
formatting Utils.List.concat lib/utils.ml Build and Deploy (2) #165: Commit 53c450f pushed by fangyi-zhou
July 19, 2023 17:04 12m 46s main
main
July 19, 2023 17:04 12m 46s
pages build and deployment pages-build-deployment #142: by github-pages bot
July 7, 2023 15:36 34s
July 7, 2023 15:36 34s
create a List module to have tail recursive list functions that shado… Build and Deploy (2) #164: Commit c5d930a pushed by fferreira
July 7, 2023 15:33 2m 43s main
main
July 7, 2023 15:33 2m 43s
pages build and deployment pages-build-deployment #141: by github-pages bot
July 7, 2023 15:10 49s
July 7, 2023 15:10 49s
using bytecode for the command line, and more use of the tail recursi… Build and Deploy (2) #163: Commit 5f5538c pushed by fferreira
July 7, 2023 14:59 13m 21s main
main
July 7, 2023 14:59 13m 21s