Skip to content

Actions: definfo/dev-templates

Actions

Determinate CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 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
December 25, 2024 17:52 4m 11s
haskell: version consistency
Determinate CI #4: Commit 992bc47 pushed by definfo
December 25, 2024 17:02 5m 12s main
December 25, 2024 17:02 5m 12s
haskell: version consistency
Determinate CI #3: Commit b472b36 pushed by definfo
December 22, 2024 17:19 6m 55s main
December 22, 2024 17:19 6m 55s
feat: add support for Coq
Determinate CI #2: Commit e213915 pushed by definfo
December 22, 2024 17:10 7m 37s main
December 22, 2024 17:10 7m 37s
add: OCaml and Coq entries
Determinate CI #1: Commit 6e001f1 pushed by definfo
December 22, 2024 17:04 6m 48s main
December 22, 2024 17:04 6m 48s