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

Add @egg tags Build and Test #103: Pull request #27 synchronize by goens
April 29, 2024 08:03 1m 44s goens:egg-tags
goens:egg-tags
April 29, 2024 08:03 1m 44s
Add @egg tags Build and Test #102: Pull request #27 opened by goens
April 29, 2024 07:23 1m 58s goens:egg-tags
goens:egg-tags
April 29, 2024 07:23 1m 58s
Presentation fixes Build and Test #101: Pull request #26 synchronize by goens
April 28, 2024 13:03 1m 48s goens:presentation-fixes
goens:presentation-fixes
April 28, 2024 13:03 1m 48s
Presentation fixes Build and Test #100: Pull request #26 opened by goens
April 28, 2024 13:02 1m 42s goens:presentation-fixes
goens:presentation-fixes
April 28, 2024 13:02 1m 42s
Add test case for bug in conditional rewriting Build and Test #99: Commit 2552c77 pushed by marcusrossel
April 27, 2024 17:18 1m 36s main
main
April 27, 2024 17:18 1m 36s
Fix construction of 'Fact's Build and Test #98: Commit af0d90a pushed by marcusrossel
April 27, 2024 16:53 1m 46s main
main
April 27, 2024 16:53 1m 46s
Forbid conditional rewrites with unbound level mvars Build and Test #97: Commit 4503f6f pushed by marcusrossel
April 26, 2024 16:14 1m 44s main
main
April 26, 2024 16:14 1m 44s
Fix handling of ambient level mvars Build and Test #96: Commit 3f95cae pushed by marcusrossel
April 26, 2024 16:05 1m 41s main
main
April 26, 2024 16:05 1m 41s
Fix the handling of conditions (mvars) in rewrites Build and Test #95: Commit 3140bfb pushed by marcusrossel
April 26, 2024 11:29 1m 40s main
main
April 26, 2024 11:29 1m 40s
Add naive proof reconstruction for conditional rewrites Build and Test #94: Commit ade2221 pushed by marcusrossel
April 26, 2024 09:02 1m 53s main
main
April 26, 2024 09:02 1m 53s
Implement naive conditional rewriting, without proof reconstruction Build and Test #93: Commit 1c67d80 pushed by marcusrossel
April 26, 2024 08:44 1m 53s main
main
April 26, 2024 08:44 1m 53s
Propagate rewrite conditions and facts into applier Build and Test #92: Commit 7f3d155 pushed by marcusrossel
April 25, 2024 09:01 1m 40s main
main
April 25, 2024 09:01 1m 40s
Add conditions to RewriteTemplate Build and Test #91: Commit 373e680 pushed by marcusrossel
April 25, 2024 08:25 1m 52s main
main
April 25, 2024 08:25 1m 52s
Use facts in tc proj gen Build and Test #90: Commit 2aeef9e pushed by marcusrossel
April 25, 2024 07:48 1m 50s main
main
April 25, 2024 07:48 1m 50s
Track rewrite condition mvars Build and Test #89: Commit b0eb0fc pushed by marcusrossel
April 25, 2024 06:52 1m 46s main
main
April 25, 2024 06:52 1m 46s
Pass rewrite conditions to rust Build and Test #88: Commit 46860e7 pushed by marcusrossel
April 24, 2024 20:24 1m 44s main
main
April 24, 2024 20:24 1m 44s
Update mathlib testing submodule Build and Test #87: Commit 59c9550 pushed by marcusrossel
April 24, 2024 14:44 1m 54s main
main
April 24, 2024 14:44 1m 54s
Introduce 'Premise's to capture hypotheses which are not rewrites Build and Test #86: Commit ed8ec0f pushed by marcusrossel
April 24, 2024 13:56 2m 39s main
main
April 24, 2024 13:56 2m 39s
Use #guard_msgs in tests Build and Test #85: Commit 17af42f pushed by marcusrossel
April 24, 2024 12:01 1m 55s main
main
April 24, 2024 12:01 1m 55s
Use PersistentHashMap for MVars.Ambient Build and Test #84: Commit 7b1943b pushed by marcusrossel
April 24, 2024 10:34 1m 51s main
main
April 24, 2024 10:34 1m 51s
Fix handling of ambient mvars Build and Test #83: Commit adcc130 pushed by marcusrossel
April 24, 2024 10:22 1m 52s main
main
April 24, 2024 10:22 1m 52s
Implement nat reduction in normalization Build and Test #82: Commit ea1b44e pushed by marcusrossel
April 19, 2024 13:40 1m 50s main
main
April 19, 2024 13:40 1m 50s
Add nat reduction (option) to normalization (of rws) Build and Test #81: Commit d656466 pushed by marcusrossel
April 18, 2024 16:06 1m 44s main
main
April 18, 2024 16:06 1m 44s
Add proof term tracing (useful when the proof contains mvars) Build and Test #80: Commit 80840c5 pushed by marcusrossel
April 18, 2024 09:05 1m 41s main
main
April 18, 2024 09:05 1m 41s
Cleanup tests Build and Test #79: Commit 925dda7 pushed by marcusrossel
April 18, 2024 08:43 1m 54s main
main
April 18, 2024 08:43 1m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-04-18 or the other filters available.