Skip to content

Actions: marcusrossel/lean-egg

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
403 workflow runs
403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add tests Build and Test #337: Commit 93b486a pushed by marcusrossel
December 19, 2024 17:59 4m 41s main
main
December 19, 2024 17:59 4m 41s
Remove outdated test case Build and Test #336: Commit 4acb4b3 pushed by marcusrossel
December 18, 2024 16:30 4m 52s main
main
December 18, 2024 16:30 4m 52s
Correct the definition of visible mvars Build and Test #335: Commit 37ca9be pushed by marcusrossel
December 18, 2024 14:16 4m 52s main
main
December 18, 2024 14:16 4m 52s
Correct the definitional of visible mvars Build and Test #334: Commit 11ff29b pushed by marcusrossel
December 18, 2024 14:14 4m 54s main
main
December 18, 2024 14:14 4m 54s
Overhaul the mvar collection system Build and Test #333: Commit 47aad5b pushed by marcusrossel
December 18, 2024 13:45 4m 41s main
main
December 18, 2024 13:45 4m 41s