Skip to content

Actions: stefan-hoeck/idris2-dom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] use 64 bits for time integers (#55) Lint #161: Commit 67d0047 pushed by stefan-hoeck
June 3, 2024 12:23 1m 19s main
main
June 3, 2024 12:23 1m 19s
[ fix ] use 64 bits for time integers Lint #160: Pull request #55 opened by stefan-hoeck
June 3, 2024 12:22 1m 20s date_truncation
date_truncation
June 3, 2024 12:22 1m 20s
[ fix ] use 64 bits for time integers Lint #159: Commit 1e6fea8 pushed by stefan-hoeck
June 3, 2024 12:21 1m 20s date_truncation
date_truncation
June 3, 2024 12:21 1m 20s
[ compat ] add export modifier to operator decls (#54) Lint #158: Commit 2959153 pushed by stefan-hoeck
April 5, 2024 03:38 1m 18s main
main
April 5, 2024 03:38 1m 18s
[ compat ] add export modifier to operator decls Lint #157: Pull request #54 opened by stefan-hoeck
April 5, 2024 03:36 1m 19s export_infix
export_infix
April 5, 2024 03:36 1m 19s
[ compat ] add export modifier to operator decls Lint #156: Commit 5a54a95 pushed by stefan-hoeck
April 5, 2024 03:36 1m 19s export_infix
export_infix
April 5, 2024 03:36 1m 19s
[ new ] utilities for working with date and time (#53) Lint #155: Commit 03afb42 pushed by stefan-hoeck
March 20, 2024 07:40 1m 25s main
main
March 20, 2024 07:40 1m 25s
[ new ] utilities for working with date and time Lint #154: Pull request #53 synchronize by stefan-hoeck
March 20, 2024 07:36 1m 19s date
date
March 20, 2024 07:36 1m 19s
[ new ] dateString Lint #153: Commit 4e5eff3 pushed by stefan-hoeck
March 20, 2024 07:36 1m 22s date
date
March 20, 2024 07:36 1m 22s
[ new ] utilities for working with date and time Lint #152: Pull request #53 opened by stefan-hoeck
March 20, 2024 07:34 1m 26s date
date
March 20, 2024 07:34 1m 26s
[ new ] utilities for working with date and time Lint #151: Commit 8c91034 pushed by stefan-hoeck
March 20, 2024 07:34 1m 21s date
date
March 20, 2024 07:34 1m 21s