Skip to content

Actions: stefan-hoeck/idris2-monocle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #25 from stefan-hoeck/operator Lint #81: Commit 7d93ec5 pushed by stefan-hoeck
June 10, 2024 12:23 1m 21s main
main
June 10, 2024 12:23 1m 21s
Merge pull request #25 from stefan-hoeck/operator Build #81: Commit 7d93ec5 pushed by stefan-hoeck
June 10, 2024 12:23 53s main
main
June 10, 2024 12:23 53s
[ compat ] adjust operator precedence to upstream changes Build #80: Pull request #25 opened by stefan-hoeck
June 10, 2024 12:14 50s operator
operator
June 10, 2024 12:14 50s
[ compat ] adjust operator precedence to upstream changes Lint #80: Pull request #25 opened by stefan-hoeck
June 10, 2024 12:14 1m 18s operator
operator
June 10, 2024 12:14 1m 18s
[ compat ] adjust operator precedence to upstream changes Lint #79: Commit 6dcb59a pushed by stefan-hoeck
June 10, 2024 12:14 1m 25s operator
operator
June 10, 2024 12:14 1m 25s
[ compat ] adjust operator precedence to upstream changes Build #79: Commit 6dcb59a pushed by stefan-hoeck
June 10, 2024 12:14 50s operator
operator
June 10, 2024 12:14 50s
Merge pull request #24 from stefan-hoeck/export_infix Build #78: Commit 7ce743a pushed by stefan-hoeck
April 5, 2024 04:02 48s main
main
April 5, 2024 04:02 48s
Merge pull request #24 from stefan-hoeck/export_infix Lint #78: Commit 7ce743a pushed by stefan-hoeck
April 5, 2024 04:02 1m 14s main
main
April 5, 2024 04:02 1m 14s
[ compat ] add export modifier to operator decls Lint #77: Pull request #24 opened by stefan-hoeck
April 5, 2024 04:00 1m 22s export_infix
export_infix
April 5, 2024 04:00 1m 22s
[ compat ] add export modifier to operator decls Build #77: Pull request #24 opened by stefan-hoeck
April 5, 2024 04:00 56s export_infix
export_infix
April 5, 2024 04:00 56s
[ compat ] add export modifier to operator decls Build #76: Commit 74d2c30 pushed by stefan-hoeck
April 5, 2024 04:00 54s export_infix
export_infix
April 5, 2024 04:00 54s
[ compat ] add export modifier to operator decls Lint #76: Commit 74d2c30 pushed by stefan-hoeck
April 5, 2024 04:00 1m 15s export_infix
export_infix
April 5, 2024 04:00 1m 15s
Merge pull request #23 from stefan-hoeck/export_infix Build #75: Commit 2a1069f pushed by stefan-hoeck
April 5, 2024 03:59 49s main
main
April 5, 2024 03:59 49s
Merge pull request #23 from stefan-hoeck/export_infix Lint #75: Commit 2a1069f pushed by stefan-hoeck
April 5, 2024 03:59 1m 19s main
main
April 5, 2024 03:59 1m 19s
[ compat ] add export modifier to operator decls Lint #74: Pull request #23 opened by stefan-hoeck
April 5, 2024 03:57 1m 20s export_infix
export_infix
April 5, 2024 03:57 1m 20s
[ compat ] add export modifier to operator decls Build #74: Pull request #23 opened by stefan-hoeck
April 5, 2024 03:57 50s export_infix
export_infix
April 5, 2024 03:57 50s
[ compat ] add export modifier to operator decls Lint #73: Commit 2149fbd pushed by stefan-hoeck
April 5, 2024 03:56 1m 28s export_infix
export_infix
April 5, 2024 03:56 1m 28s
[ compat ] add export modifier to operator decls Build #73: Commit 2149fbd pushed by stefan-hoeck
April 5, 2024 03:56 49s export_infix
export_infix
April 5, 2024 03:56 49s
Merge pull request #22 from stefan-hoeck/withst Lint #72: Commit d294085 pushed by stefan-hoeck
March 19, 2024 18:19 1m 19s main
main
March 19, 2024 18:19 1m 19s
Merge pull request #22 from stefan-hoeck/withst Build #72: Commit d294085 pushed by stefan-hoeck
March 19, 2024 18:19 50s main
main
March 19, 2024 18:19 50s
[ refactor ] generalize operations on state Lint #71: Pull request #22 opened by stefan-hoeck
March 19, 2024 18:17 1m 22s withst
withst
March 19, 2024 18:17 1m 22s
[ refactor ] generalize operations on state Build #71: Pull request #22 opened by stefan-hoeck
March 19, 2024 18:17 56s withst
withst
March 19, 2024 18:17 56s
[ refactor ] generalize operations on state Lint #70: Commit 85eb82f pushed by stefan-hoeck
March 19, 2024 18:17 1m 23s withst
withst
March 19, 2024 18:17 1m 23s
[ refactor ] generalize operations on state Build #70: Commit 85eb82f pushed by stefan-hoeck
March 19, 2024 18:17 57s withst
withst
March 19, 2024 18:17 57s
Merge pull request #21 from stefan-hoeck/lensed_state Lint #69: Commit 80a864c pushed by stefan-hoeck
March 19, 2024 17:13 1m 21s main
main
March 19, 2024 17:13 1m 21s