Skip to content

Actions: definfo/dev-templates

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create update-flake-lock.yml Determinate CI #5: Commit 24af451 pushed by definfo
December 25, 2024 17:52 4m 11s main
main
December 25, 2024 17:52 4m 11s
Create update-flake-lock.yml Run checks #5: Commit 24af451 pushed by definfo
December 25, 2024 17:52 21s main
main
December 25, 2024 17:52 21s
haskell: version consistency Determinate CI #4: Commit 992bc47 pushed by definfo
December 25, 2024 17:02 5m 12s main
main
December 25, 2024 17:02 5m 12s
haskell: version consistency Run checks #4: Commit 992bc47 pushed by definfo
December 25, 2024 17:02 15s main
main
December 25, 2024 17:02 15s
haskell: version consistency Determinate CI #3: Commit b472b36 pushed by definfo
December 22, 2024 17:19 6m 55s main
main
December 22, 2024 17:19 6m 55s
haskell: version consistency Run checks #3: Commit b472b36 pushed by definfo
December 22, 2024 17:19 19s main
main
December 22, 2024 17:19 19s
feat: add support for Coq Determinate CI #2: Commit e213915 pushed by definfo
December 22, 2024 17:10 7m 37s main
main
December 22, 2024 17:10 7m 37s
feat: add support for Coq Run checks #2: Commit e213915 pushed by definfo
December 22, 2024 17:10 12s main
main
December 22, 2024 17:10 12s
add: OCaml and Coq entries Determinate CI #1: Commit 6e001f1 pushed by definfo
December 22, 2024 17:04 6m 48s main
main
December 22, 2024 17:04 6m 48s
add: OCaml and Coq entries Run checks #1: Commit 6e001f1 pushed by definfo
December 22, 2024 17:04 14s main
main
December 22, 2024 17:04 14s