Skip to content

Actions: EvanWinget/BitLisp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ASSERT_MY_TAPTREE, the cheap identity assert CI #196: Pull request #60 synchronize by EvanWinget
4m 24s identity-assert
identity-assert
4m 24s
ASSERT_MY_TAPTREE, the cheap identity assert CI #195: Pull request #60 opened by EvanWinget
4m 48s identity-assert
identity-assert
4m 48s
plan: the identity-assert amendment, unit 6d, the token study, two Ph… CI #194: Commit 79daf56 pushed by EvanWinget
7m 48s main
main
7m 48s
Merge pull request #59 from EvanWinget/unit-7-singleton CI #193: Commit ddc93ee pushed by EvanWinget
4m 26s main
main
4m 26s
Unit 7: the singleton wrapper CI #192: Pull request #59 synchronize by EvanWinget
3m 53s unit-7-singleton
unit-7-singleton
3m 53s
Unit 7: the singleton wrapper CI #191: Pull request #59 synchronize by EvanWinget
4m 28s unit-7-singleton
unit-7-singleton
4m 28s
Unit 7: the singleton wrapper CI #190: Pull request #59 synchronize by EvanWinget
3m 20s unit-7-singleton
unit-7-singleton
3m 20s
Unit 7: the singleton wrapper CI #189: Pull request #59 opened by EvanWinget
4m 23s unit-7-singleton
unit-7-singleton
4m 23s
Merge pull request #58 from EvanWinget/message-execution-identity CI #188: Commit 689158a pushed by EvanWinget
3m 58s main
main
3m 58s
Execution-identity specifiers and the ASSURE/REQUIRE rename CI #187: Pull request #58 synchronize by EvanWinget
4m 22s message-execution-identity
message-execution-identity
4m 22s
Execution-identity specifiers and the ASSURE/REQUIRE rename CI #186: Pull request #58 synchronize by EvanWinget
4m 16s message-execution-identity
message-execution-identity
4m 16s
Execution-identity specifiers and the ASSURE/REQUIRE rename CI #185: Pull request #58 opened by EvanWinget
4m 12s message-execution-identity
message-execution-identity
4m 12s
Merge pull request #57 from EvanWinget/unit-7-vault CI #184: Commit 33fcdc5 pushed by EvanWinget
4m 22s main
main
4m 22s
plan: the amendment adds the merkle root beside the tapleaf, IPK decl… CI #183: Commit c771a01 pushed by EvanWinget
4m 30s main
main
4m 30s
Unit 7: the vault benchmark puzzle CI #182: Pull request #57 synchronize by EvanWinget
6m 16s unit-7-vault
unit-7-vault
6m 16s
plan: the tapleaf commitment amendment, decided 2026-08-18 CI #181: Commit 6563fed pushed by EvanWinget
3m 24s main
main
3m 24s
Unit 7: the vault benchmark puzzle CI #180: Pull request #57 synchronize by EvanWinget
3m 44s unit-7-vault
unit-7-vault
3m 44s
Unit 7: the vault benchmark puzzle CI #179: Pull request #57 opened by EvanWinget
4m 16s unit-7-vault
unit-7-vault
4m 16s
Merge pull request #56 from EvanWinget/unit-6b-includes CI #178: Commit 42120c3 pushed by EvanWinget
3m 51s main
main
3m 51s
Unit 6b: include, computed defconstant, and defun-inline CI #177: Pull request #56 synchronize by EvanWinget
3m 53s unit-6b-includes
unit-6b-includes
3m 53s
Unit 6b: include, computed defconstant, and defun-inline CI #176: Pull request #56 opened by EvanWinget
3m 47s unit-6b-includes
unit-6b-includes
3m 47s
tools: fetch the surveyed puzzle corpora in fetch-references CI #175: Commit ed6be57 pushed by EvanWinget
3m 7s main
main
3m 7s
Expand unit 6b: includes, computed constants, inline functions CI #174: Pull request #55 opened by EvanWinget
3m 48s unit-6b-scope-expansion
unit-6b-scope-expansion
3m 48s
Merge pull request #54 from EvanWinget/unit-6c-macro-removal CI #173: Commit 58966be pushed by EvanWinget
3m 44s main
main
3m 44s
Unit 6c: remove the macro system, add assert, and, or as fixed forms CI #172: Pull request #54 synchronize by EvanWinget
3m 47s unit-6c-macro-removal
unit-6c-macro-removal
3m 47s