Skip to content

Actions: kadena-io/pact-5

Build and publish application binaries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
27 workflow run results
27 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove List.TyTime
Build and publish application binaries #106: Commit a4cfcfd pushed by imalsogreg
October 17, 2023 17:28 19m 29s greg/time
October 17, 2023 17:28 19m 29s
Make time functions more polymorphic
Build and publish application binaries #105: Commit 43fd017 pushed by imalsogreg
October 17, 2023 17:19 26m 54s greg/time
October 17, 2023 17:19 26m 54s
add time tests
Build and publish application binaries #104: Commit 5cef414 pushed by imalsogreg
October 17, 2023 17:04 21m 46s greg/time
October 17, 2023 17:04 21m 46s
Add the rest of the time builtins
Build and publish application binaries #103: Commit a8e9a06 pushed by imalsogreg
October 16, 2023 20:58 21m 13s greg/time
October 16, 2023 20:58 21m 13s
wip
Build and publish application binaries #102: Commit 2c75d0e pushed by rsoeldner
October 16, 2023 19:03 24m 33s rsoeldner/defpact
October 16, 2023 19:03 24m 33s
caps full semantics + db
Build and publish application binaries #101: Commit 3f8a367 pushed by jmcardon
October 16, 2023 16:41 23m 0s jose/obj-tables
October 16, 2023 16:41 23m 0s
fix resume
Build and publish application binaries #100: Commit 832131f pushed by rsoeldner
October 14, 2023 08:38 22m 8s rsoeldner/defpact
October 14, 2023 08:38 22m 8s
defpacts, nullaries, merge conflicts solved
Build and publish application binaries #99: Commit 614a1dc pushed by jmcardon
October 12, 2023 19:47 20m 31s rsoeldner/defpact
October 12, 2023 19:47 20m 31s
wip
Build and publish application binaries #98: Commit 6b40d65 pushed by rsoeldner
October 12, 2023 18:26 23m 55s rsoeldner/defpact
October 12, 2023 18:26 23m 55s
testcap, fix name reso
Build and publish application binaries #97: Commit 956698f pushed by jmcardon
October 12, 2023 18:25 21m 52s jose/obj-tables
October 12, 2023 18:25 21m 52s
try.repl tests, semantics doc wip, enforce-one semantics fix
Build and publish application binaries #96: Commit ec0d94e pushed by jmcardon
October 12, 2023 16:29 18m 47s jose/obj-tables
October 12, 2023 16:29 18m 47s
TLUse imports need no processing during inference
Build and publish application binaries #95: Commit d0ac6d2 pushed by 0xd34df00d
October 12, 2023 16:21 21m 37s gr/fix-typed-core
October 12, 2023 16:21 21m 37s
enforce-one and enforce as special forms
Build and publish application binaries #94: Commit ffd9dad pushed by jmcardon
October 11, 2023 22:29 19m 3s jose/obj-tables
October 11, 2023 22:29 19m 3s
Update Typed.ReplTopLevel to match IR structure, reusing the TopLevel…
Build and publish application binaries #93: Commit 8c63652 pushed by 0xd34df00d
October 11, 2023 21:14 19m 59s gr/fix-typed-core
October 11, 2023 21:14 19m 59s
Ok apparently caps stuff is also removed for now, so comment it out
Build and publish application binaries #92: Commit 96eeecf pushed by 0xd34df00d
October 11, 2023 20:07 21m 40s gr/fix-typed-core
October 11, 2023 20:07 21m 40s
Merge remote-tracking branch 'origin/jose/obj-tables' into rsoeldner/…
Build and publish application binaries #91: Commit 3ae58b8 pushed by rsoeldner
October 11, 2023 19:22 24m 15s rsoeldner/defpact
October 11, 2023 19:22 24m 15s
Merge remote-tracking branch 'origin/jose/obj-tables' into gr/fix-typ…
Build and publish application binaries #90: Commit a17837f pushed by 0xd34df00d
October 11, 2023 18:24 21m 45s gr/fix-typed-core
October 11, 2023 18:24 21m 45s
tons of table natives + bugfixes
Build and publish application binaries #89: Commit a63a2ff pushed by jmcardon
October 11, 2023 02:49 18m 57s jose/obj-tables
October 11, 2023 02:49 18m 57s
preserve evalEnv
Build and publish application binaries #88: Commit ea25849 pushed by jmcardon
October 10, 2023 14:38 22m 33s jose/obj-tables
October 10, 2023 14:38 22m 33s
captokens and tons of new natives
Build and publish application binaries #87: Commit 53aa4b6 pushed by jmcardon
October 8, 2023 16:53 17m 28s jose/obj-tables
October 8, 2023 16:53 17m 28s
Just do fmap absurd
Build and publish application binaries #86: Commit bf8274c pushed by 0xd34df00d
October 5, 2023 21:03 21m 59s gr/fix-typed-core
October 5, 2023 21:03 21m 59s
Merge remote-tracking branch 'origin/jose/obj-tables' into rsoeldner/…
Build and publish application binaries #85: Commit 016257f pushed by rsoeldner
October 4, 2023 19:51 20m 58s rsoeldner/defpact
October 4, 2023 19:51 20m 58s
wip some db/env natives
Build and publish application binaries #84: Commit 764fd50 pushed by jmcardon
October 4, 2023 19:10 25m 45s jose/obj-tables
October 4, 2023 19:10 25m 45s
Merge pull request #15 from kadena-io/devops/nix-ci
Build and publish application binaries #83: Commit 3eefd4d pushed by jmcardon
October 3, 2023 18:36 22m 44s master
October 3, 2023 18:36 22m 44s
merge
Build and publish application binaries #82: Commit 3b5facd pushed by rsoeldner
October 1, 2023 18:27 19m 37s rsoeldner/defpact
October 1, 2023 18:27 19m 37s