Skip to content

Actions: RedPRL/algaeff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
167 workflow runs
167 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: test OCaml 5.1.1 Build, test, and doc update #155: Commit ede14c4 pushed by favonia
December 8, 2023 15:43 6m 24s main
main
December 8, 2023 15:43 6m 24s
docs(CHANGELOG): prepare for 2.0.0 Build, test, and doc update #154: Commit 61338ed pushed by favonia
October 31, 2023 20:56 7m 33s main
main
October 31, 2023 20:56 7m 33s
docs(CHANGELOG): prepare for 2.0.0 Build, test, and doc update #153: Commit ce15e42 pushed by favonia
October 31, 2023 20:54 7m 42s main
main
October 31, 2023 20:54 7m 42s
docs(CHANGELOG): prepare for 2.0.0 Build, test, and doc update #152: Commit 700c04f pushed by favonia
October 31, 2023 20:52 7m 30s main
main
October 31, 2023 20:52 7m 30s
pages build and deployment pages-build-deployment #57: by github-pages bot
October 31, 2023 15:21 32s gh-pages
gh-pages
October 31, 2023 15:21 32s
docs(Sigs): fix documentation Build, test, and doc update #151: Commit ce559c2 pushed by favonia
October 31, 2023 15:16 7m 15s main
main
October 31, 2023 15:16 7m 15s
pages build and deployment pages-build-deployment #56: by github-pages bot
October 31, 2023 15:16 36s gh-pages
gh-pages
October 31, 2023 15:16 36s
refactor: redo signatures and fix documentation Build, test, and doc update #150: Commit 273453a pushed by favonia
October 31, 2023 15:12 7m 16s main
main
October 31, 2023 15:12 7m 16s
pages build and deployment pages-build-deployment #55: by github-pages bot
October 31, 2023 15:06 42s gh-pages
gh-pages
October 31, 2023 15:06 42s
fix!: remove Unmonad (#25) Build, test, and doc update #149: Commit 80dca8d pushed by favonia
October 31, 2023 15:02 7m 11s main
main
October 31, 2023 15:02 7m 11s
fix!: remove Unmonad Build, test, and doc update #148: Pull request #25 opened by favonia
October 31, 2023 13:21 6m 44s remove-unmonad
remove-unmonad
October 31, 2023 13:21 6m 44s
pages build and deployment pages-build-deployment #54: by github-pages bot
October 31, 2023 13:05 34s gh-pages
gh-pages
October 31, 2023 13:05 34s
docs(README): declare the versioning policy Build, test, and doc update #147: Commit feba970 pushed by favonia
October 31, 2023 13:05 7m 0s main
main
October 31, 2023 13:05 7m 0s
feat!: alternative API to allow Make(Int) (#24) Build, test, and doc update #146: Commit 79fd268 pushed by favonia
October 31, 2023 13:01 6m 36s main
main
October 31, 2023 13:01 6m 36s
pages build and deployment pages-build-deployment #53: by github-pages bot
October 31, 2023 08:30 33s gh-pages
gh-pages
October 31, 2023 08:30 33s
feat!: alternative API to allow Make(Int) Build, test, and doc update #145: Pull request #24 opened by favonia
October 31, 2023 08:28 7m 10s alternative-api
alternative-api
October 31, 2023 08:28 7m 10s
style: simplify the wrapper signature Build, test, and doc update #144: Commit 67fe61b pushed by favonia
October 31, 2023 08:19 13m 8s main
main
October 31, 2023 08:19 13m 8s