Skip to content

Actions: anoma/juvix

Actions

Codespaces Prebuilds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Showing all prebuild configuration runs for Codespaces. Learn about prebuilding your codespaces.
22 workflow run results
22 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[main]: Fix benchmarks test compilation (#2552) Codespaces Prebuilds #39: by github-codespaces bot
December 15, 2023 09:00 15m 30s
December 15, 2023 09:00 15m 30s
[main]: Improve formatting of function definition arguments (#2551) Codespaces Prebuilds #38: by github-codespaces bot
December 8, 2023 09:00 16m 32s
December 8, 2023 09:00 16m 32s
[main]: Add dependent defaults for the new typechecker (#2541) Codespaces Prebuilds #37: by github-codespaces bot
December 1, 2023 09:00 18m 4s
December 1, 2023 09:00 18m 4s
[main]: Add non-dependent default values to the new typechecking algorithm (#… Codespaces Prebuilds #36: by github-codespaces bot
November 24, 2023 09:00 16m 18s
November 24, 2023 09:00 16m 18s
[main]: Run test suite in parallel (#2507) Codespaces Prebuilds #35: by github-codespaces bot
November 17, 2023 09:00 16m 30s
November 17, 2023 09:00 16m 30s
[main]: test: Run juvix format on juvix packages rather than files (#2505) Codespaces Prebuilds #34: by github-codespaces bot
November 10, 2023 09:00 17m 30s
November 10, 2023 09:00 17m 30s
[main]: Bump version to 0.5.3 (#2492) Codespaces Prebuilds #33: by github-codespaces bot
November 3, 2023 09:00 18m 41s
November 3, 2023 09:00 18m 41s
[main]: Dependent default values (#2446) Codespaces Prebuilds #32: by github-codespaces bot
October 27, 2023 09:00 17m 27s
October 27, 2023 09:00 17m 27s
[main]: Instance coercions (#2444) Codespaces Prebuilds #31: by github-codespaces bot
October 20, 2023 09:00 15m 17s
October 20, 2023 09:00 15m 17s
[main]: Case value inlining (#2441) Codespaces Prebuilds #30: by github-codespaces bot
October 13, 2023 09:00 17m 57s
October 13, 2023 09:00 17m 57s
[main]: Improve the specialisation optimisation (#2417) Codespaces Prebuilds #29: by github-codespaces bot
October 6, 2023 09:00 16m 3s
October 6, 2023 09:00 16m 3s
[main]: Fix tara url svg (#2406) Codespaces Prebuilds #28: by github-codespaces bot
September 29, 2023 09:00 15m 52s
September 29, 2023 09:00 15m 52s
[main]: Avoid serialization of _packageFile field in juvix.yaml (#2381) Codespaces Prebuilds #27: by github-codespaces bot
September 22, 2023 09:00 14m 40s
September 22, 2023 09:00 14m 40s
[main]: Fix bug in isTrait (#2368) Codespaces Prebuilds #26: by github-codespaces bot
September 15, 2023 09:00 14m 42s
September 15, 2023 09:00 14m 42s
[main]: Add Internet effect (#2337) Codespaces Prebuilds #25: by github-codespaces bot
September 8, 2023 09:00 15m 51s
September 8, 2023 09:00 15m 51s
[main]: Generate documentation for local modules in the html backend (#2326) Codespaces Prebuilds #24: by github-codespaces bot
September 1, 2023 09:00 17m 49s
September 1, 2023 09:00 17m 49s
[main]: Remove old function syntax (#2305) Codespaces Prebuilds #23: by github-codespaces bot
August 25, 2023 09:00 6m 26s
August 25, 2023 09:00 6m 26s
[main]: Allow wildcard arguments in new function definition syntax (#2295) Codespaces Prebuilds #22: by github-codespaces bot
August 18, 2023 09:00 13m 32s
August 18, 2023 09:00 13m 32s
[main]: Error on duplicate keys in YAML (#2290) Codespaces Prebuilds #21: by github-codespaces bot
August 11, 2023 09:00 16m 1s
August 11, 2023 09:00 16m 1s
[main]: Fix benchmark wasmer command (#2268) Codespaces Prebuilds #20: by github-codespaces bot
August 4, 2023 09:00 14m 47s
August 4, 2023 09:00 14m 47s
[main]: Minor refactor and script update (#2261) Codespaces Prebuilds #19: by github-codespaces bot
July 28, 2023 09:00 15m 44s
July 28, 2023 09:00 15m 44s
[main]: Refactor deriving statements in Concrete.Language (#2256) Codespaces Prebuilds #18: by github-codespaces bot
July 21, 2023 09:00 15m 31s
July 21, 2023 09:00 15m 31s