Skip to content

Actions: marcusrossel/lean-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better Facts Build and Test #362: Pull request #52 synchronize by marcusrossel
January 13, 2025 12:47 5m 14s better-facts
better-facts
January 13, 2025 12:47 5m 14s
Better Facts Build and Test #361: Pull request #52 synchronize by marcusrossel
January 13, 2025 12:06 5m 23s better-facts
better-facts
January 13, 2025 12:06 5m 23s
Better Facts Build and Test #360: Pull request #52 synchronize by marcusrossel
January 13, 2025 08:44 5m 3s better-facts
better-facts
January 13, 2025 08:44 5m 3s
Better Facts Build and Test #359: Pull request #52 synchronize by marcusrossel
January 12, 2025 15:53 4m 49s better-facts
better-facts
January 12, 2025 15:53 4m 49s
Better Facts Build and Test #358: Pull request #52 synchronize by marcusrossel
January 12, 2025 14:25 5m 3s better-facts
better-facts
January 12, 2025 14:25 5m 3s
Better Facts Build and Test #357: Pull request #52 synchronize by marcusrossel
January 12, 2025 13:57 4m 58s better-facts
better-facts
January 12, 2025 13:57 4m 58s
Better Facts Build and Test #356: Pull request #52 synchronize by marcusrossel
January 11, 2025 15:46 4m 53s better-facts
better-facts
January 11, 2025 15:46 4m 53s
Better Facts Build and Test #355: Pull request #52 synchronize by marcusrossel
January 10, 2025 12:57 5m 1s better-facts
better-facts
January 10, 2025 12:57 5m 1s
Better Facts Build and Test #354: Pull request #52 synchronize by marcusrossel
January 9, 2025 18:26 5m 19s better-facts
better-facts
January 9, 2025 18:26 5m 19s
Better Facts Build and Test #353: Pull request #52 synchronize by memoryleak47
January 7, 2025 15:11 5m 8s better-facts
better-facts
January 7, 2025 15:11 5m 8s
Better Facts Build and Test #352: Pull request #52 synchronize by marcusrossel
January 7, 2025 15:02 5m 9s better-facts
better-facts
January 7, 2025 15:02 5m 9s
Better Facts Build and Test #351: Pull request #52 synchronize by memoryleak47
January 7, 2025 14:00 5m 12s better-facts
better-facts
January 7, 2025 14:00 5m 12s
Better Facts Build and Test #350: Pull request #52 synchronize by memoryleak47
January 7, 2025 12:49 5m 6s better-facts
better-facts
January 7, 2025 12:49 5m 6s
Better Facts Build and Test #349: Pull request #52 synchronize by memoryleak47
January 6, 2025 10:54 5m 4s better-facts
better-facts
January 6, 2025 10:54 5m 4s
Better Facts Build and Test #348: Pull request #52 synchronize by memoryleak47
January 6, 2025 10:35 5m 15s better-facts
better-facts
January 6, 2025 10:35 5m 15s
Better Facts Build and Test #347: Pull request #52 synchronize by marcusrossel
January 6, 2025 09:50 3m 34s better-facts
better-facts
January 6, 2025 09:50 3m 34s
Better Facts Build and Test #346: Pull request #52 synchronize by marcusrossel
January 6, 2025 09:41 3m 35s better-facts
better-facts
January 6, 2025 09:41 3m 35s
Better Facts Build and Test #345: Pull request #52 synchronize by marcusrossel
January 6, 2025 09:15 3m 31s better-facts
better-facts
January 6, 2025 09:15 3m 31s
Better Facts Build and Test #344: Pull request #52 synchronize by marcusrossel
January 5, 2025 18:02 4m 46s better-facts
better-facts
January 5, 2025 18:02 4m 46s
Better Facts Build and Test #343: Pull request #52 synchronize by marcusrossel
January 5, 2025 16:31 4m 58s better-facts
better-facts
January 5, 2025 16:31 4m 58s
Better Facts Build and Test #342: Pull request #52 synchronize by marcusrossel
January 5, 2025 13:44 4m 19s better-facts
better-facts
January 5, 2025 13:44 4m 19s
Better Facts Build and Test #341: Pull request #52 opened by marcusrossel
January 5, 2025 12:11 4m 17s better-facts
better-facts
January 5, 2025 12:11 4m 17s
Add infrastructure for running type class synthesis from egg (#50) Build and Test #340: Commit 98d13bc pushed by marcusrossel
January 2, 2025 12:38 4m 39s main
main
January 2, 2025 12:38 4m 39s
Add infrastructure for running type class synthesis from egg Build and Test #339: Pull request #50 synchronize by marcusrossel
January 2, 2025 12:33 4m 47s ml47-typeclass-queries
ml47-typeclass-queries
January 2, 2025 12:33 4m 47s
Fix previous breaking change Build and Test #338: Commit 12971b1 pushed by marcusrossel
December 20, 2024 15:05 4m 44s main
main
December 20, 2024 15:05 4m 44s