Skip to content

Actions: objectionary/proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow run results
63 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add examples of different reductions for the term presented after Definition 3.1 Lean (build) #196: Pull request #55 opened by Anatolay
December 6, 2024 20:49 1m 21s add-examples-definition3.1
add-examples-definition3.1
December 6, 2024 20:49 1m 21s
Add examples of different reductions for the term presented after Def… Lean (build) #195: Commit 6ba92b5 pushed by Anatolay
December 6, 2024 20:48 1m 39s add-examples-definition3.1
add-examples-definition3.1
December 6, 2024 20:48 1m 39s
pages build and deployment pages-build-deployment #23: by github-pages bot
December 6, 2024 15:31 43s gh-pages
gh-pages
December 6, 2024 15:31 43s
Add tests Lean (build) #194: Pull request #52 synchronize by eyihluyc
December 6, 2024 15:26 8m 53s add-examples
add-examples
December 6, 2024 15:26 8m 53s
Add a simple example Lean (build) #193: Commit f9a232f pushed by eyihluyc
December 6, 2024 15:26 8m 50s add-examples
add-examples
December 6, 2024 15:26 8m 50s
Merge pull request #54 from objectionary/update-toolchain Lean (build) #192: Commit fa4f453 pushed by eyihluyc
December 6, 2024 15:23 9m 18s master
master
December 6, 2024 15:23 9m 18s
Update toolchain Lean (build) #191: Pull request #54 opened by eyihluyc
December 6, 2024 15:09 8m 51s update-toolchain
update-toolchain
December 6, 2024 15:09 8m 51s
Update toolchain Lean (build) #190: Commit cb0175b pushed by eyihluyc
December 6, 2024 15:09 9m 9s update-toolchain
update-toolchain
December 6, 2024 15:09 9m 9s
Add class-based oop example from [KS22 Example 2.8] Lean (build) #189: Pull request #53 opened by Anatolay
December 6, 2024 14:36 1m 0s add-oop-example
add-oop-example
December 6, 2024 14:36 1m 0s
Add class-based oop example from [KS22 Example 2.8] Lean (build) #188: Commit 7c32aec pushed by Anatolay
December 6, 2024 14:36 1m 4s add-oop-example
add-oop-example
December 6, 2024 14:36 1m 4s
Add tests Lean (build) #187: Pull request #52 opened by eyihluyc
December 6, 2024 11:54 1m 1s add-examples
add-examples
December 6, 2024 11:54 1m 1s
Add a simple example Lean (build) #186: Commit 810829a pushed by eyihluyc
December 6, 2024 11:54 1m 11s add-examples
add-examples
December 6, 2024 11:54 1m 11s
pages build and deployment pages-build-deployment #22: by github-pages bot
September 12, 2024 18:29 46s gh-pages
gh-pages
September 12, 2024 18:29 46s
Merge pull request #51 from objectionary/update-toolchain Lean (build) #185: Commit 8d5729a pushed by eyihluyc
September 12, 2024 18:24 5m 20s master
master
September 12, 2024 18:24 5m 20s
Update toolchain Lean (build) #184: Pull request #51 synchronize by eyihluyc
September 12, 2024 07:57 5m 9s update-toolchain
update-toolchain
September 12, 2024 07:57 5m 9s
Fix errors in Minimal/Calculus.lean Lean (build) #183: Commit e16b194 pushed by eyihluyc
September 12, 2024 07:57 5m 10s update-toolchain
update-toolchain
September 12, 2024 07:57 5m 10s
Update toolchain Lean (build) #182: Pull request #51 synchronize by eyihluyc
September 12, 2024 07:32 4m 25s update-toolchain
update-toolchain
September 12, 2024 07:32 4m 25s
Resolve issues related to the update (mem got swapped + ignore unused… Lean (build) #181: Commit 40a1f9b pushed by eyihluyc
September 12, 2024 07:32 4m 27s update-toolchain
update-toolchain
September 12, 2024 07:32 4m 27s
Update toolchain Lean (build) #180: Pull request #51 opened by eyihluyc
September 12, 2024 07:12 1m 31s update-toolchain
update-toolchain
September 12, 2024 07:12 1m 31s
Update toolchain Lean (build) #179: Commit efca456 pushed by eyihluyc
September 12, 2024 07:11 1m 14s update-toolchain
update-toolchain
September 12, 2024 07:11 1m 14s
WIP on commutative union lemma Lean (build) #178: Commit f66ffc2 pushed by eyihluyc
September 3, 2024 06:12 1m 27s commutativity
commutativity
September 3, 2024 06:12 1m 27s
pages build and deployment pages-build-deployment #21: by github-pages bot
September 2, 2024 19:45 48s gh-pages
gh-pages
September 2, 2024 19:45 48s
Merge pull request #50 from objectionary/fix-links Lean (build) #177: Commit 9a50a1a pushed by Anatolay
September 2, 2024 19:41 4m 46s master
master
September 2, 2024 19:41 4m 46s
49 Fix broken links Lean (build) #176: Pull request #50 opened by Anatolay
September 2, 2024 19:40 4m 24s fix-links
fix-links
September 2, 2024 19:40 4m 24s
Update doc-gen Lean (build) #175: Commit ab41d46 pushed by Anatolay
September 2, 2024 19:34 4m 26s fix-links
fix-links
September 2, 2024 19:34 4m 26s