Skip to content

Actions: stefan-hoeck/idris2-dom-mvc

Actions

Lint

Actions

Loading...

Show workflow options

Create status badge

273 workflow runs
273 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #74 from claudio-etterli/cursorOptions
Lint #275: Commit 0aad94b pushed by stefan-hoeck
May 18, 2024 12:24 1m 27s main
May 18, 2024 12:24 1m 27s
[ new ] change mouse cursor
Lint #274: Pull request #74 synchronize by claudio-etterli
May 18, 2024 07:25 1m 17s claudio-etterli:cursorOptions
May 18, 2024 07:25 1m 17s
[ new ] change mouse cursor
Lint #273: Pull request #74 synchronize by claudio-etterli
May 18, 2024 07:22 1m 20s claudio-etterli:cursorOptions
May 18, 2024 07:22 1m 20s
[ new ] change mouse cursor
Lint #272: Pull request #74 synchronize by claudio-etterli
May 18, 2024 06:26 1m 23s claudio-etterli:cursorOptions
May 18, 2024 06:26 1m 23s
[ new ] change mouse cursor
Lint #271: Pull request #74 synchronize by claudio-etterli
May 17, 2024 19:42 1m 20s claudio-etterli:cursorOptions
May 17, 2024 19:42 1m 20s
Merge pull request #73 from stefan-hoeck/opt_groups
Lint #269: Commit 3d933e3 pushed by stefan-hoeck
May 17, 2024 15:08 1m 37s main
May 17, 2024 15:08 1m 37s
[ new ] add support for optgroups in select entries
Lint #268: Pull request #73 synchronize by stefan-hoeck
May 17, 2024 14:17 1m 24s opt_groups
May 17, 2024 14:17 1m 24s
[ new ] add support for optgroups in select entries
Lint #266: Pull request #73 opened by stefan-hoeck
May 17, 2024 09:05 1m 25s opt_groups
May 17, 2024 09:05 1m 25s
[ new ] add support for optgroups in select entries
Lint #265: Commit 6d83e1f pushed by stefan-hoeck
May 17, 2024 09:04 1m 18s opt_groups
May 17, 2024 09:04 1m 18s
Merge pull request #72 from stefan-hoeck/with_metrics
Lint #264: Commit eccef63 pushed by stefan-hoeck
May 17, 2024 03:45 1m 15s main
May 17, 2024 03:45 1m 15s
[ new ] additional TextMeasure utilities
Lint #263: Pull request #72 opened by stefan-hoeck
May 17, 2024 03:42 1m 17s with_metrics
May 17, 2024 03:42 1m 17s
[ new ] additional TextMeasure utilities
Lint #262: Commit b9b98b3 pushed by stefan-hoeck
May 17, 2024 03:41 1m 25s with_metrics
May 17, 2024 03:41 1m 25s
Merge pull request #71 from stefan-hoeck/empty_validated
Lint #261: Commit 137386c pushed by stefan-hoeck
April 23, 2024 14:14 1m 25s main
April 23, 2024 14:14 1m 25s
[ refactor ] dont validate Empty nodes
Lint #260: Pull request #71 opened by stefan-hoeck
April 23, 2024 14:07 1m 26s empty_validated
April 23, 2024 14:07 1m 26s
[ refactor ] dont validate Empty nodes
Lint #259: Commit c0ee1a2 pushed by stefan-hoeck
April 23, 2024 14:07 1m 24s empty_validated
April 23, 2024 14:07 1m 24s
Merge pull request #70 from stefan-hoeck/editor_iso
Lint #258: Commit fd0c4b3 pushed by stefan-hoeck
April 21, 2024 16:42 1m 17s main
April 21, 2024 16:42 1m 17s
[ new ] view an editor through an isomorphism
Lint #257: Pull request #70 opened by stefan-hoeck
April 21, 2024 16:38 1m 17s editor_iso
April 21, 2024 16:38 1m 17s
[ new ] view an editor through an isomorphism
Lint #256: Commit 23f2dfb pushed by stefan-hoeck
April 21, 2024 16:37 1m 21s editor_iso
April 21, 2024 16:37 1m 21s
Merge pull request #69 from stefan-hoeck/forms
Lint #255: Commit 4e1472a pushed by stefan-hoeck
April 21, 2024 05:34 1m 18s main
April 21, 2024 05:34 1m 18s
[ new ] heterogeneous UI forms
Lint #254: Pull request #69 opened by stefan-hoeck
April 21, 2024 05:34 1m 24s forms
April 21, 2024 05:34 1m 24s
[ new ] heterogeneous UI forms
Lint #253: Commit 2300abe pushed by stefan-hoeck
April 21, 2024 05:23 1m 18s forms
April 21, 2024 05:23 1m 18s
Merge pull request #68 from stefan-hoeck/measure_text
Lint #252: Commit 2a2e8fc pushed by stefan-hoeck
April 10, 2024 11:14 1m 17s main
April 10, 2024 11:14 1m 17s
[ refactor ] provide a pure way to work with TextMetrics
Lint #251: Pull request #68 synchronize by stefan-hoeck
April 10, 2024 11:10 2m 4s measure_text
April 10, 2024 11:10 2m 4s