Skip to content

Actions: mbarbin/fingerboard

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update build flags ci #47: Commit f11bfa1 pushed by mbarbin
January 17, 2024 17:47 11m 53s main
main
January 17, 2024 17:47 11m 53s
refactor: replace sexp_diff by patdiff ci #46: Commit 11fcac2 pushed by mbarbin
November 12, 2023 19:01 13m 49s main
main
November 12, 2023 19:01 13m 49s
refactor: replace sexp_diff by patdiff deploy-odoc #45: Commit 11fcac2 pushed by mbarbin
November 12, 2023 19:01 7m 41s main
main
November 12, 2023 19:01 7m 41s
rename github workflow step ci #45: Commit 556072f pushed by mbarbin
November 9, 2023 08:50 13m 35s main
main
November 9, 2023 08:50 13m 35s
rename github workflow step deploy-odoc #44: Commit 556072f pushed by mbarbin
November 9, 2023 08:50 7m 57s main
main
November 9, 2023 08:50 7m 57s
update build flags in systems/ as well deploy-odoc #43: Commit d5a50b6 pushed by mbarbin
November 7, 2023 15:23 7m 55s main
main
November 7, 2023 15:23 7m 55s
update build flags in systems/ as well ci #44: Commit d5a50b6 pushed by mbarbin
November 7, 2023 15:23 13m 55s main
main
November 7, 2023 15:23 13m 55s
update build flags ci #43: Commit 82dea75 pushed by mbarbin
November 6, 2023 11:35 10m 46s main
main
November 6, 2023 11:35 10m 46s
update build flags deploy-odoc #42: Commit 82dea75 pushed by mbarbin
November 6, 2023 11:35 10m 6s main
main
November 6, 2023 11:35 10m 6s
generate opam file from dune-project deploy-odoc #41: Commit ac34cbc pushed by mbarbin
November 3, 2023 16:53 12m 55s main
main
November 3, 2023 16:53 12m 55s
generate opam file from dune-project ci #42: Commit ac34cbc pushed by mbarbin
November 3, 2023 16:53 10m 53s main
main
November 3, 2023 16:53 10m 53s
reset changelog deploy-odoc #40: Commit e136e22 pushed by mbarbin
November 1, 2023 17:36 10m 38s main
main
November 1, 2023 17:36 10m 38s
reset changelog ci #41: Commit e136e22 pushed by mbarbin
November 1, 2023 17:36 16m 18s main
main
November 1, 2023 17:36 16m 18s
prepare release ci #40: Commit aed27b0 pushed by mbarbin
November 1, 2023 17:35 13m 55s 0.0.1
0.0.1
November 1, 2023 17:35 13m 55s
prepare release ci #39: Commit aed27b0 pushed by mbarbin
November 1, 2023 17:34 16m 8s main
main
November 1, 2023 17:34 16m 8s
prepare release deploy-odoc #39: Commit aed27b0 pushed by mbarbin
November 1, 2023 17:34 10m 46s main
main
November 1, 2023 17:34 10m 46s
fmt deploy-odoc #38: Commit a221dbb pushed by mbarbin
October 31, 2023 12:21 11m 13s main
main
October 31, 2023 12:21 11m 13s
fmt ci #38: Commit a221dbb pushed by mbarbin
October 31, 2023 12:21 14m 21s main
main
October 31, 2023 12:21 14m 21s
open via flags for the lib being tested ci #37: Commit 228aa92 pushed by mbarbin
October 31, 2023 10:49 18m 37s main
main
October 31, 2023 10:49 18m 37s
open via flags for the lib being tested deploy-odoc #37: Commit 228aa92 pushed by mbarbin
October 31, 2023 10:49 18m 2s main
main
October 31, 2023 10:49 18m 2s
pages build and deployment pages-build-deployment #19: by github-pages bot
October 31, 2023 09:40 29s
October 31, 2023 09:40 29s
Use local substitution in signatures ci #36: Commit 62587ee pushed by mbarbin
October 31, 2023 09:31 16m 2s main
main
October 31, 2023 09:31 16m 2s
Use local substitution in signatures deploy-odoc #36: Commit 62587ee pushed by mbarbin
October 31, 2023 09:31 10m 33s main
main
October 31, 2023 09:31 10m 33s
pages build and deployment pages-build-deployment #18: by github-pages bot
October 25, 2023 16:20 33s
October 25, 2023 16:20 33s
remove direct dependency to [Core]. ci #35: Commit 0c9e2d3 pushed by mbarbin
October 25, 2023 16:11 16m 15s main
main
October 25, 2023 16:11 16m 15s