Skip to content

Actions: RedPRL/algaeff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #51: by github-pages bot
September 25, 2023 11:11 37s gh-pages
gh-pages
September 25, 2023 11:11 37s
docs: tweaks (#23) Build, test, and doc update #140: Commit 4fd6652 pushed by favonia
September 25, 2023 11:07 6m 42s main
main
September 25, 2023 11:07 6m 42s
docs: tweaks Build, test, and doc update #139: Pull request #23 synchronize by favonia
September 25, 2023 11:07 6m 36s register-printer-for-everyone
register-printer-for-everyone
September 25, 2023 11:07 6m 36s
pages build and deployment pages-build-deployment #50: by github-pages bot
September 24, 2023 11:56 30s gh-pages
gh-pages
September 24, 2023 11:56 30s
feat(Mutex): add register_printer (#22) Build, test, and doc update #138: Commit 9bb4788 pushed by favonia
September 24, 2023 11:52 6m 30s main
main
September 24, 2023 11:52 6m 30s
feat(Mutex): add register_printer Build, test, and doc update #137: Pull request #22 synchronize by favonia
September 24, 2023 11:51 6m 8s register-printer-for-everyone
register-printer-for-everyone
September 24, 2023 11:51 6m 8s
feat(Mutex): add register_printer Build, test, and doc update #136: Pull request #22 synchronize by favonia
September 23, 2023 11:47 7m 10s register-printer-for-everyone
register-printer-for-everyone
September 23, 2023 11:47 7m 10s
feat(Mutex): add register_printer Build, test, and doc update #135: Pull request #22 synchronize by favonia
September 23, 2023 11:41 3m 50s register-printer-for-everyone
register-printer-for-everyone
September 23, 2023 11:41 3m 50s
feat(Mutex): add register_printer Build, test, and doc update #134: Pull request #22 opened by favonia
September 23, 2023 11:39 4m 25s register-printer-for-everyone
register-printer-for-everyone
September 23, 2023 11:39 4m 25s
pages build and deployment pages-build-deployment #49: by github-pages bot
September 23, 2023 10:47 37s gh-pages
gh-pages
September 23, 2023 10:47 37s
docs: properly document register_printer Build, test, and doc update #133: Commit f3ef7fc pushed by favonia
September 23, 2023 10:43 6m 41s main
main
September 23, 2023 10:43 6m 41s
docs(README): remove the comment about stability; we released 1.0.0 Build, test, and doc update #132: Commit 330d703 pushed by favonia
September 21, 2023 00:45 7m 4s main
main
September 21, 2023 00:45 7m 4s
docs: add Matthew as a contributor (#20) Build, test, and doc update #131: Commit 186df8b pushed by favonia
September 20, 2023 16:49 6m 46s main
main
September 20, 2023 16:49 6m 46s
ci: start worshiping OCaml 5.1 Build, test, and doc update #130: Commit f26272a pushed by favonia
September 20, 2023 14:53 13m 3s main
main
September 20, 2023 14:53 13m 3s
docs: add Matthew as a contributor Build, test, and doc update #129: Pull request #20 synchronize by favonia
September 20, 2023 12:24 7m 6s cla-mmcqd
cla-mmcqd
September 20, 2023 12:24 7m 6s
style(UniqueID): fix the inconsistent naming of internal effects Build, test, and doc update #128: Commit 02e4a96 pushed by favonia
September 20, 2023 12:23 7m 21s main
main
September 20, 2023 12:23 7m 21s
docs: add Matthew as a contributor Build, test, and doc update #127: Pull request #20 opened by favonia
September 20, 2023 09:38 6m 26s cla-mmcqd
cla-mmcqd
September 20, 2023 09:38 6m 26s
feat: custom printers for unhandled effects (#19) Build, test, and doc update #126: Commit 2a13145 pushed by favonia
September 20, 2023 09:32 11m 48s main
main
September 20, 2023 09:32 11m 48s
feat: custom printers for unhandled effects Build, test, and doc update #125: Pull request #19 synchronize by mmcqd
September 20, 2023 03:26 6m 18s effect-printers
effect-printers
September 20, 2023 03:26 6m 18s
feat: custom printers for unhandled effects Build, test, and doc update #124: Pull request #19 synchronize by mmcqd
September 20, 2023 02:06 6m 20s effect-printers
effect-printers
September 20, 2023 02:06 6m 20s
feat: custom printers for unhandled effects Build, test, and doc update #123: Pull request #19 synchronize by mmcqd
September 20, 2023 01:33 3m 54s effect-printers
effect-printers
September 20, 2023 01:33 3m 54s
feat: custom printers for unhandled effects Build, test, and doc update #122: Pull request #19 synchronize by mmcqd
September 20, 2023 01:22 5m 24s effect-printers
effect-printers
September 20, 2023 01:22 5m 24s
feat: custom printers for unhandled effects Build, test, and doc update #121: Pull request #19 opened by mmcqd
September 20, 2023 00:57 10m 33s effect-printers
effect-printers
September 20, 2023 00:57 10m 33s