Skip to content

Actions: dlesbre/coq-prettier-makefile

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Documentation comments Main workflow #21: Commit 243daec pushed by dlesbre
December 16, 2023 09:54 2m 49s main
main
December 16, 2023 09:54 2m 49s
Update README Main workflow #20: Commit 1212590 pushed by dlesbre
December 16, 2023 09:35 2m 57s main
main
December 16, 2023 09:35 2m 57s
Manage make's CWD changes Main workflow #19: Commit 6a4f56b pushed by dlesbre
December 12, 2023 21:55 2m 53s main
main
December 12, 2023 21:55 2m 53s
Add ocaml 4.10 to CI Main workflow #18: Commit c1b0d1f pushed by dlesbre
December 12, 2023 20:18 6m 17s main
main
December 12, 2023 20:18 6m 17s
Update README Main workflow #17: Commit eb9d7a2 pushed by dlesbre
December 11, 2023 21:02 6m 17s main
main
December 11, 2023 21:02 6m 17s