Skip to content

Actions: jwstegemann/fritz2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
410 workflow runs
410 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #209: by github-pages bot
September 19, 2024 09:29 29s gh-pages
gh-pages
September 19, 2024 09:29 29s
Fixes small styling issue in sealed hierarchy example (#902) publish www #211: Commit 921ac08 pushed by Lysander
September 19, 2024 09:26 5m 12s master
master
September 19, 2024 09:26 5m 12s
Fixes small styling issue in sealed hierarchy example (#902) publish libs #206: Commit 921ac08 pushed by Lysander
September 19, 2024 09:26 4m 48s master
master
September 19, 2024 09:26 4m 48s
Fixes small styling issue in sealed hierarchy example build #1677: Pull request #902 opened by Lysander
September 19, 2024 09:07 10m 28s chausknecht/fix-small-styling-in-doc
chausknecht/fix-small-styling-in-doc
September 19, 2024 09:07 10m 28s
Version 1.0-RC19 release #62: Release v1.0-RC19 published by Lysander
September 18, 2024 13:33 5m 56s
September 18, 2024 13:33 5m 56s
pages build and deployment pages-build-deployment #208: by github-pages bot
September 18, 2024 13:22 28s gh-pages
gh-pages
September 18, 2024 13:22 28s
publish www publish www #210: Manually run by haukesomm
September 18, 2024 13:19 2m 54s master
master
September 18, 2024 13:19 2m 54s
pages build and deployment pages-build-deployment #207: by github-pages bot
September 18, 2024 13:14 33s gh-pages
gh-pages
September 18, 2024 13:14 33s
Update footer to use dynamic year (#899) publish libs #205: Commit eb51ed2 pushed by haukesomm
September 18, 2024 13:12 4m 51s master
master
September 18, 2024 13:12 4m 51s
Update footer to use dynamic year (#899) publish www #209: Commit eb51ed2 pushed by haukesomm
September 18, 2024 13:12 5m 6s master
master
September 18, 2024 13:12 5m 6s
Update footer to use dynamic year build #1675: Pull request #899 synchronize by Abd-Elhadi
September 18, 2024 12:46 9m 48s Abd-Elhadi:update-footer-year
Abd-Elhadi:update-footer-year
September 18, 2024 12:46 9m 48s
pages build and deployment pages-build-deployment #206: by github-pages bot
September 18, 2024 08:40 27s gh-pages
gh-pages
September 18, 2024 08:40 27s
Add documentation for sealed type-hierarchies (#898) publish libs #204: Commit 37c5d32 pushed by Lysander
September 18, 2024 08:38 4m 37s master
master
September 18, 2024 08:38 4m 37s
Add documentation for sealed type-hierarchies (#898) publish www #208: Commit 37c5d32 pushed by Lysander
September 18, 2024 08:38 5m 8s master
master
September 18, 2024 08:38 5m 8s
Add documentation for sealed type-hierarchies build #1674: Pull request #898 synchronize by Lysander
September 18, 2024 08:28 9m 17s chausknecht/doc-for-new-lens-generation
chausknecht/doc-for-new-lens-generation
September 18, 2024 08:28 9m 17s
Add documentation for sealed type-hierarchies build #1672: Pull request #898 synchronize by haukesomm
September 17, 2024 15:33 9m 49s chausknecht/doc-for-new-lens-generation
chausknecht/doc-for-new-lens-generation
September 17, 2024 15:33 9m 49s
Add documentation for sealed type-hierarchies build #1670: Pull request #898 opened by Lysander
September 17, 2024 13:32 9m 34s chausknecht/doc-for-new-lens-generation
chausknecht/doc-for-new-lens-generation
September 17, 2024 13:32 9m 34s
pages build and deployment pages-build-deployment #205: by github-pages bot
September 13, 2024 13:36 30s gh-pages
gh-pages
September 13, 2024 13:36 30s
Fixes two keyboard-related combobox bugs (#895) publish libs #203: Commit 59b3e95 pushed by haukesomm
September 13, 2024 13:32 6m 16s master
master
September 13, 2024 13:32 6m 16s
Fixes two keyboard-related combobox bugs (#895) publish www #207: Commit 59b3e95 pushed by haukesomm
September 13, 2024 13:32 6m 36s master
master
September 13, 2024 13:32 6m 36s
Fixes two keyboard-related combobox bugs build #1669: Pull request #895 synchronize by haukesomm
September 13, 2024 13:20 10m 55s haukesomm/more-combobox-fixes
haukesomm/more-combobox-fixes
September 13, 2024 13:20 10m 55s
Fixes two keyboard-related combobox bugs build #1668: Pull request #895 synchronize by haukesomm
September 13, 2024 13:06 11m 7s haukesomm/more-combobox-fixes
haukesomm/more-combobox-fixes
September 13, 2024 13:06 11m 7s
Fixes two keyboard-related combobox bugs build #1667: Pull request #895 opened by haukesomm
September 13, 2024 10:45 10m 16s haukesomm/more-combobox-fixes
haukesomm/more-combobox-fixes
September 13, 2024 10:45 10m 16s
pages build and deployment pages-build-deployment #204: by github-pages bot
September 13, 2024 10:39 28s gh-pages
gh-pages
September 13, 2024 10:39 28s
Enables empty sealed types to generate up-casting lenses (#894) publish www #206: Commit 55e18bb pushed by Lysander
September 13, 2024 10:36 5m 22s master
master
September 13, 2024 10:36 5m 22s