Skip to content

Actions: stefan-hoeck/idris2-dom-mvc

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
783 workflow runs
783 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[ new ] view an editor through an isomorphism Build #457: Commit 23f2dfb pushed by stefan-hoeck
April 21, 2024 16:37 3m 23s editor_iso
editor_iso
April 21, 2024 16:37 3m 23s
Merge pull request #69 from stefan-hoeck/forms Build #456: Commit 4e1472a pushed by stefan-hoeck
April 21, 2024 05:34 3m 29s main
main
April 21, 2024 05:34 3m 29s
Merge pull request #69 from stefan-hoeck/forms Lint #255: Commit 4e1472a pushed by stefan-hoeck
April 21, 2024 05:34 1m 18s main
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
forms
April 21, 2024 05:34 1m 24s
[ new ] heterogeneous UI forms Build #455: Pull request #69 opened by stefan-hoeck
April 21, 2024 05:34 3m 19s forms
forms
April 21, 2024 05:34 3m 19s
[ new ] heterogeneous UI forms Lint #253: Commit 2300abe pushed by stefan-hoeck
April 21, 2024 05:23 1m 18s forms
forms
April 21, 2024 05:23 1m 18s
[ new ] heterogeneous UI forms Build #454: Commit 2300abe pushed by stefan-hoeck
April 21, 2024 05:23 3m 20s forms
forms
April 21, 2024 05:23 3m 20s
Build Build #453: Scheduled
April 21, 2024 01:55 3m 28s main
main
April 21, 2024 01:55 3m 28s
Build Build #452: Scheduled
April 20, 2024 01:50 3m 25s main
main
April 20, 2024 01:50 3m 25s
Build Build #451: Scheduled
April 19, 2024 01:51 3m 40s main
main
April 19, 2024 01:51 3m 40s
Build Build #450: Scheduled
April 18, 2024 01:50 3m 28s main
main
April 18, 2024 01:50 3m 28s
Build Build #449: Scheduled
April 17, 2024 01:52 3m 27s main
main
April 17, 2024 01:52 3m 27s
Build Build #448: Scheduled
April 16, 2024 01:51 3m 20s main
main
April 16, 2024 01:51 3m 20s
Build Build #447: Scheduled
April 15, 2024 03:48 3m 24s main
main
April 15, 2024 03:48 3m 24s
Build Build #446: Scheduled
April 14, 2024 02:55 3m 22s main
main
April 14, 2024 02:55 3m 22s
Build Build #445: Scheduled
April 13, 2024 01:33 3m 27s main
main
April 13, 2024 01:33 3m 27s
Build Build #444: Scheduled
April 12, 2024 01:50 3m 22s main
main
April 12, 2024 01:50 3m 22s
Build Build #443: Scheduled
April 11, 2024 01:52 3m 24s main
main
April 11, 2024 01:52 3m 24s
Merge pull request #68 from stefan-hoeck/measure_text Build #442: Commit 2a2e8fc pushed by stefan-hoeck
April 10, 2024 11:14 3m 34s main
main
April 10, 2024 11:14 3m 34s
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
main
April 10, 2024 11:14 1m 17s
[ refactor ] provide a pure way to work with TextMetrics Build #441: Pull request #68 synchronize by stefan-hoeck
April 10, 2024 11:10 3m 35s measure_text
measure_text
April 10, 2024 11:10 3m 35s
[ 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
measure_text
April 10, 2024 11:10 2m 4s
[ fix ] include text layout instructions when measuring metrics Lint #250: Commit 66e783b pushed by stefan-hoeck
April 10, 2024 11:10 1m 20s measure_text
measure_text
April 10, 2024 11:10 1m 20s
[ fix ] include text layout instructions when measuring metrics Build #440: Commit 66e783b pushed by stefan-hoeck
April 10, 2024 11:10 3m 34s measure_text
measure_text
April 10, 2024 11:10 3m 34s
[ refactor ] provide a pure way to work with TextMetrics Lint #249: Pull request #68 opened by stefan-hoeck
April 10, 2024 09:43 1m 21s measure_text
measure_text
April 10, 2024 09:43 1m 21s