Skip to content

Actions: definfo/dev-templates

Actions

Run checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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 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 Run checks #1: Commit 6e001f1 pushed by definfo
December 22, 2024 17:04 14s main
main
December 22, 2024 17:04 14s