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

Add GitHub action for creating releases Build and Test #387: Commit 05ff9ee pushed by marcusrossel
January 22, 2025 13:00 4m 55s main
main
January 22, 2025 13:00 4m 55s
Add GitHub action for creating releases Build and Test #386: Commit e719925 pushed by marcusrossel
January 22, 2025 12:54 5m 12s main
main
January 22, 2025 12:54 5m 12s
Add GitHub action for creating releases Build and Test #385: Commit 13f9a58 pushed by marcusrossel
January 22, 2025 12:50 5m 0s main
main
January 22, 2025 12:50 5m 0s
Add GitHub action for creating releases Build and Test #384: Commit 46af086 pushed by marcusrossel
January 22, 2025 12:48 6m 25s main
main
January 22, 2025 12:48 6m 25s
Add GitHub action for creating releases Build and Test #383: Commit aa92d4c pushed by marcusrossel
January 22, 2025 12:42 5m 21s main
main
January 22, 2025 12:42 5m 21s
Add GitHub action for creating releases Build and Test #382: Commit 6e795ab pushed by marcusrossel
January 22, 2025 12:24 2m 26s main
main
January 22, 2025 12:24 2m 26s
Adds rewrites for structure projections Build and Test #381: Pull request #54 synchronize by goens
January 22, 2025 07:27 2m 10s goens:structureprojs
goens:structureprojs
January 22, 2025 07:27 2m 10s
Adds rewrites for structure projections Build and Test #380: Pull request #54 synchronize by goens
January 21, 2025 19:38 1m 36s goens:structureprojs
goens:structureprojs
January 21, 2025 19:38 1m 36s
Implement Test Driver (#55) Build and Test #379: Commit a586251 pushed by marcusrossel
January 21, 2025 13:27 4m 58s main
main
January 21, 2025 13:27 4m 58s
Implement Test Driver Build and Test #378: Pull request #55 synchronize by marcusrossel
January 21, 2025 13:25 5m 1s test-driver-ml47
test-driver-ml47
January 21, 2025 13:25 5m 1s
Implement Test Driver Build and Test #377: Pull request #55 opened by memoryleak47
January 20, 2025 13:39 5m 24s test-driver-ml47
test-driver-ml47
January 20, 2025 13:39 5m 24s
Adds rewrites for structure projections Build and Test #376: Pull request #54 synchronize by goens
January 18, 2025 10:02 4m 55s goens:structureprojs
goens:structureprojs
January 18, 2025 10:02 4m 55s
Adds rewrites for structure projections Build and Test #375: Pull request #54 opened by goens
January 18, 2025 09:54 5m 0s goens:structureprojs
goens:structureprojs
January 18, 2025 09:54 5m 0s
Upload Lean Together 2025 slides Build and Test #374: Commit a8fec24 pushed by marcusrossel
January 17, 2025 19:27 4m 57s main
main
January 17, 2025 19:27 4m 57s
Increase time limit for tests failing in CI Build and Test #373: Commit 204b228 pushed by marcusrossel
January 17, 2025 09:46 5m 0s main
main
January 17, 2025 09:46 5m 0s
Fix enum index mismatch for StopReason Build and Test #372: Commit 4fb98e5 pushed by marcusrossel
January 17, 2025 09:04 4m 54s main
main
January 17, 2025 09:04 4m 54s
Remove conditions from tc proj rewrites Build and Test #371: Commit 95dea91 pushed by marcusrossel
January 15, 2025 08:30 4m 59s main
main
January 15, 2025 08:30 4m 59s
Fix mysterious explanation kind FFI bug Build and Test #370: Commit 7c1559f pushed by marcusrossel
January 14, 2025 20:32 4m 55s main
main
January 14, 2025 20:32 4m 55s
Add nested goal type specialization Build and Test #369: Commit 691fd01 pushed by marcusrossel
January 14, 2025 19:49 4m 54s main
main
January 14, 2025 19:49 4m 54s
Fix layout of enums in FFI code. Build and Test #368: Commit dd2deeb pushed by memoryleak47
January 13, 2025 16:53 5m 3s main
main
January 13, 2025 16:53 5m 3s
Don't rely on layout of C enums in FFI code Build and Test #367: Commit b6c0dd1 pushed by marcusrossel
January 13, 2025 15:53 4m 59s main
main
January 13, 2025 15:53 4m 59s
Don't rely on layout of C enums in FFI code Build and Test #366: Commit 82fc060 pushed by marcusrossel
January 13, 2025 15:45 5m 0s main
main
January 13, 2025 15:45 5m 0s
Update README.md Build and Test #365: Commit 3084265 pushed by marcusrossel
January 13, 2025 14:58 4m 58s main
main
January 13, 2025 14:58 4m 58s
Merge pull request #52 from marcusrossel/better-facts Build and Test #364: Commit 247ee68 pushed by marcusrossel
January 13, 2025 14:37 5m 8s main
main
January 13, 2025 14:37 5m 8s
Better Facts Build and Test #363: Pull request #52 synchronize by marcusrossel
January 13, 2025 14:33 5m 11s better-facts
better-facts
January 13, 2025 14:33 5m 11s