Skip to content

Actions: stepchowfun/proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
315 workflow runs
315 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #714 from stepchowfun/indices Continuous integration #4712: Commit 53693c4 pushed by stepchowfun
March 10, 2025 11:43 6m 49s main
main
March 10, 2025 11:43 6m 49s
Wordsmith the indices exploration Continuous integration #4711: Pull request #714 synchronize by stepchowfun
March 10, 2025 11:36 6m 44s indices
indices
March 10, 2025 11:36 6m 44s
Wordsmith the indices exploration Continuous integration #4710: Pull request #714 opened by stepchowfun
March 10, 2025 11:33 6m 50s indices
indices
March 10, 2025 11:33 6m 50s
Merge pull request #713 from stepchowfun/w-wordsmithing Continuous integration #4709: Commit d694f85 pushed by stepchowfun
March 5, 2025 03:22 6m 51s main
main
March 5, 2025 03:22 6m 51s
Wordsmith the exposition in the W-types development Continuous integration #4708: Pull request #713 synchronize by stepchowfun
March 5, 2025 03:15 6m 37s w-wordsmithing
w-wordsmithing
March 5, 2025 03:15 6m 37s
Wordsmith the exposition in the W-types development Continuous integration #4707: Pull request #713 synchronize by stepchowfun
March 5, 2025 03:12 6m 56s w-wordsmithing
w-wordsmithing
March 5, 2025 03:12 6m 56s
Wordsmith the exposition in the W-types development Continuous integration #4706: Pull request #713 synchronize by stepchowfun
March 5, 2025 03:09 1m 29s w-wordsmithing
w-wordsmithing
March 5, 2025 03:09 1m 29s
Wordsmith the exposition in the W-types development Continuous integration #4705: Pull request #713 synchronize by stepchowfun
March 5, 2025 03:08 1m 3s w-wordsmithing
w-wordsmithing
March 5, 2025 03:08 1m 3s
Wordsmith the exposition in the W-types development Continuous integration #4704: Pull request #713 synchronize by stepchowfun
March 5, 2025 03:07 1m 18s w-wordsmithing
w-wordsmithing
March 5, 2025 03:07 1m 18s
Wordsmith the exposition in the W-types development Continuous integration #4703: Pull request #713 opened by stepchowfun
March 5, 2025 03:05 1m 12s w-wordsmithing
w-wordsmithing
March 5, 2025 03:05 1m 12s
Merge pull request #712 from stepchowfun/type-theory-readme Continuous integration #4702: Commit b796d4c pushed by stepchowfun
March 1, 2025 08:38 6m 41s main
main
March 1, 2025 08:38 6m 41s
Wordsmith the type theory README Continuous integration #4701: Pull request #712 synchronize by stepchowfun
March 1, 2025 08:28 6m 49s type-theory-readme
type-theory-readme
March 1, 2025 08:28 6m 49s
Wordsmith the type theory README Continuous integration #4700: Pull request #712 opened by stepchowfun
March 1, 2025 08:27 6m 35s type-theory-readme
type-theory-readme
March 1, 2025 08:27 6m 35s
Merge pull request #711 from stepchowfun/0-ne-1 Continuous integration #4699: Commit ed4baf2 pushed by stepchowfun
March 1, 2025 08:15 6m 47s main
main
March 1, 2025 08:15 6m 47s
Prove that 0 != 1 with the W-encoded natural number types Continuous integration #4698: Pull request #711 synchronize by stepchowfun
March 1, 2025 08:07 6m 39s 0-ne-1
0-ne-1
March 1, 2025 08:07 6m 39s
Prove that 0 != 1 with the W-encoded natural number types Continuous integration #4697: Pull request #711 synchronize by stepchowfun
March 1, 2025 07:58 6m 33s 0-ne-1
0-ne-1
March 1, 2025 07:58 6m 33s
Prove that 0 != 1 with the W-encoded natural number types Continuous integration #4696: Pull request #711 synchronize by stepchowfun
March 1, 2025 07:57 6m 37s 0-ne-1
0-ne-1
March 1, 2025 07:57 6m 37s
Prove that 0 != 1 with the W-encoded natural number types Continuous integration #4695: Pull request #711 synchronize by stepchowfun
March 1, 2025 07:49 6m 50s 0-ne-1
0-ne-1
March 1, 2025 07:49 6m 50s
Prove that 0 != 1 with the W-encoded natural number types Continuous integration #4694: Pull request #711 opened by stepchowfun
March 1, 2025 07:43 6m 39s 0-ne-1
0-ne-1
March 1, 2025 07:43 6m 39s
Merge pull request #710 from stepchowfun/cnat Continuous integration #4693: Commit dcb497f pushed by stepchowfun
March 1, 2025 03:53 6m 50s main
main
March 1, 2025 03:53 6m 50s
Implement the W-encoded natural number type with a dependent eliminator Continuous integration #4692: Pull request #710 synchronize by stepchowfun
March 1, 2025 02:56 6m 49s cnat
cnat
March 1, 2025 02:56 6m 49s
Implement the W-encoded natural number type with a dependent eliminator Continuous integration #4691: Pull request #710 synchronize by stepchowfun
March 1, 2025 02:55 1m 46s cnat
cnat
March 1, 2025 02:55 1m 46s
Implement the W-encoded natural number type with a dependent eliminator Continuous integration #4690: Pull request #710 synchronize by stepchowfun
March 1, 2025 02:49 1m 30s cnat
cnat
March 1, 2025 02:49 1m 30s
Implement the W-encoded natural number type with a dependent eliminator Continuous integration #4689: Pull request #710 synchronize by stepchowfun
March 1, 2025 02:28 1m 31s cnat
cnat
March 1, 2025 02:28 1m 31s
Implement the W-encoded natural number type with a dependent eliminator Continuous integration #4688: Pull request #710 opened by stepchowfun
March 1, 2025 02:14 1m 6s cnat
cnat
March 1, 2025 02:14 1m 6s