Skip to content

Actions: argumentcomputer/user-manual

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #28 from argumentcomputer/ap/update
Build and deploy #77: Commit c7a8853 pushed by arthurpaulino
October 24, 2024 20:53 39s main
October 24, 2024 20:53 39s
Update manual
Build and deploy #76: Pull request #28 synchronize by wwared
October 24, 2024 20:53 22s ap/update
October 24, 2024 20:53 22s
Update manual
Build and deploy #75: Pull request #28 opened by arthurpaulino
October 24, 2024 20:49 21s ap/update
October 24, 2024 20:49 21s
Merge pull request #27 from argumentcomputer/ap/update
Build and deploy #74: Commit 8e523ec pushed by arthurpaulino
October 2, 2024 19:46 38s main
October 2, 2024 19:46 38s
update hardcoded hashes
Build and deploy #73: Pull request #27 opened by arthurpaulino
October 2, 2024 19:43 22s ap/update
October 2, 2024 19:43 22s
Merge pull request #26 from argumentcomputer/ap/eqq
Build and deploy #72: Commit 742b09f pushed by arthurpaulino
October 2, 2024 00:07 39s main
October 2, 2024 00:07 39s
adjustments after eqq
Build and deploy #71: Pull request #26 opened by arthurpaulino
October 2, 2024 00:05 21s ap/eqq
October 2, 2024 00:05 21s
updates after introducing Lang (#25)
Build and deploy #70: Commit e4bdd81 pushed by wwared
October 1, 2024 21:20 33s main
October 1, 2024 21:20 33s
updates after introducing Lang
Build and deploy #69: Pull request #25 opened by arthurpaulino
October 1, 2024 20:40 22s ap/update
October 1, 2024 20:40 22s
feat: Add description for &rest (#24)
Build and deploy #68: Commit 4128615 pushed by wwared
October 1, 2024 18:10 36s main
October 1, 2024 18:10 36s
feat: Add description for &rest
Build and deploy #67: Pull request #24 synchronize by wwared
October 1, 2024 17:35 17s rest-params
October 1, 2024 17:35 17s
feat: Add description for &rest
Build and deploy #66: Pull request #24 opened by wwared
October 1, 2024 17:33 16s rest-params
October 1, 2024 17:33 16s
Merge pull request #23 from argumentcomputer/ap/update
Build and deploy #65: Commit 84ffa59 pushed by arthurpaulino
September 24, 2024 00:41 31s main
September 24, 2024 00:41 31s
update hardcoded hashes
Build and deploy #64: Pull request #23 opened by arthurpaulino
September 23, 2024 23:42 15s ap/update
September 23, 2024 23:42 15s
Merge pull request #22 from argumentcomputer/ap/fail
Build and deploy #63: Commit c39af55 pushed by arthurpaulino
September 20, 2024 20:41 45s main
September 20, 2024 20:41 45s
feat: fail built-in
Build and deploy #62: Pull request #22 opened by arthurpaulino
September 20, 2024 20:39 15s ap/fail
September 20, 2024 20:39 15s
update to latest Lurk (#21)
Build and deploy #61: Commit d77a2e1 pushed by wwared
September 12, 2024 12:40 43s main
September 12, 2024 12:40 43s
update to latest Lurk
Build and deploy #60: Pull request #21 opened by arthurpaulino
September 10, 2024 21:26 21s ap/update
September 10, 2024 21:26 21s
Merge pull request #20 from argumentcomputer/ap/update-repl-chapter
Build and deploy #59: Commit 59960a7 pushed by arthurpaulino
September 6, 2024 17:02 51s main
September 6, 2024 17:02 51s
feat: inspect protocol proof
Build and deploy #58: Pull request #20 opened by arthurpaulino
September 6, 2024 16:55 21s ap/update-repl-chapter
September 6, 2024 16:55 21s
feat: list built-in (#19)
Build and deploy #57: Commit b84dd62 pushed by wwared
September 6, 2024 14:08 38s main
September 6, 2024 14:08 38s
feat: list built-in
Build and deploy #56: Pull request #19 opened by arthurpaulino
September 6, 2024 14:04 21s ap/update
September 6, 2024 14:04 21s
Merge pull request #18 from argumentcomputer/ap/update-comms
Build and deploy #55: Commit dd0ae97 pushed by arthurpaulino
September 5, 2024 13:15 33s main
September 5, 2024 13:15 33s
chore: update comm syntax
Build and deploy #54: Pull request #18 opened by arthurpaulino
September 5, 2024 13:13 21s ap/update-comms
September 5, 2024 13:13 21s
Merge pull request #17 from argumentcomputer/ap/recommended-tools
Build and deploy #53: Commit 3322244 pushed by arthurpaulino
September 4, 2024 18:50 31s main
September 4, 2024 18:50 31s