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.
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[main]: Update stdlib reference to point to main (#3281) Codespaces Prebuilds #96: by github-codespaces bot
January 17, 2025 09:00 19m 9s main
main
January 17, 2025 09:00 19m 9s
[main]: Add --cue flag to dev nockma encode (#3272) Codespaces Prebuilds #95: by github-codespaces bot
January 10, 2025 09:00 19m 10s main
main
January 10, 2025 09:00 19m 10s
[main]: Add dev anoma print-config command (#3260) Codespaces Prebuilds #94: by github-codespaces bot
January 3, 2025 09:00 23m 22s main
main
January 3, 2025 09:00 23m 22s
[main]: Add dev anoma print-config command (#3260) Codespaces Prebuilds #93: by github-codespaces bot
December 27, 2024 09:00 22m 16s main
main
December 27, 2024 09:00 22m 16s
[main]: The args file to the prove CLI must now be textual nock term (#3253) Codespaces Prebuilds #92: by github-codespaces bot
December 20, 2024 09:00 21m 49s main
main
December 20, 2024 09:00 21m 49s
[main]: Add RPC call and dev command for Anoma.Protobuf.IndexerService.ListUn… Codespaces Prebuilds #91: by github-codespaces bot
December 13, 2024 09:00 25m 28s main
main
December 13, 2024 09:00 25m 28s
[main]: Append unique hash to the pre-release tag in the Package.juvix versio… Codespaces Prebuilds #90: by github-codespaces bot
December 6, 2024 09:00 21m 38s main
main
December 6, 2024 09:00 21m 38s
[main]: Add a new Anoma compile test mode 'AnomaTestModeNodeOnly' (#3196) Codespaces Prebuilds #89: by github-codespaces bot
November 29, 2024 09:00 20m 59s main
main
November 29, 2024 09:00 20m 59s
[main]: Set std_in to NoStream on the Anoma client process (#3182) Codespaces Prebuilds #88: by github-codespaces bot
November 22, 2024 09:00 21m 43s main
main
November 22, 2024 09:00 21m 43s
[main]: Fix compiler error on import cycles (#3171) Codespaces Prebuilds #87: by github-codespaces bot
November 15, 2024 09:00 21m 31s main
main
November 15, 2024 09:00 21m 31s
[main]: Add option to run Anoma tests in non-debug mode (#3144) Codespaces Prebuilds #86: by github-codespaces bot
November 8, 2024 09:00 26m 9s main
main
November 8, 2024 09:00 26m 9s
[main]: Detect redundant patterns (#3101) Codespaces Prebuilds #85: by github-codespaces bot
November 1, 2024 09:00 24m 23s main
main
November 1, 2024 09:00 24m 23s
[main]: Remove VampIR from the CI (#3126) Codespaces Prebuilds #84: by github-codespaces bot
October 25, 2024 09:00 24m 10s main
main
October 25, 2024 09:00 24m 10s
[main]: Add frontend support for Anoma stdlib sha256 (#3109) Codespaces Prebuilds #83: by github-codespaces bot
October 18, 2024 09:00 22m 44s main
main
October 18, 2024 09:00 22m 44s
[main]: Merge containers into standard library (#3088) Codespaces Prebuilds #82: by github-codespaces bot
October 11, 2024 09:00 22m 17s main
main
October 11, 2024 09:00 22m 17s
[main]: Fix named application bug (#3075) Codespaces Prebuilds #81: by github-codespaces bot
October 4, 2024 09:00 22m 43s main
main
October 4, 2024 09:00 22m 43s
[main]: Parse stdlibPlaceholder in Nockma parser (#3065) Codespaces Prebuilds #80: by github-codespaces bot
September 27, 2024 09:00 21m 53s main
main
September 27, 2024 09:00 21m 53s
[main]: Revert GHC 9.10.1 update (#3052) Codespaces Prebuilds #79: by github-codespaces bot
September 20, 2024 09:00 25m 43s main
main
September 20, 2024 09:00 25m 43s
[main]: Remove old named application syntax (#3026) Codespaces Prebuilds #78: by github-codespaces bot
September 13, 2024 09:00 21m 14s main
main
September 13, 2024 09:00 21m 14s
[main]: Fix typechecking of default arguments in signatures with trait argume… Codespaces Prebuilds #77: by github-codespaces bot
September 6, 2024 09:00 15m 9s main
main
September 6, 2024 09:00 15m 9s
[main]: Improve compilation progress log (#2969) Codespaces Prebuilds #76: by github-codespaces bot
August 30, 2024 09:00 16m 55s main
main
August 30, 2024 09:00 16m 55s
[main]: Fix bug where highlighting is not kept when the file has a type error… Codespaces Prebuilds #75: by github-codespaces bot
August 23, 2024 09:00 14m 54s main
main
August 23, 2024 09:00 14m 54s
[main]: Release 0.6.5 (#2956) Codespaces Prebuilds #74: by github-codespaces bot
August 16, 2024 09:00 8m 13s main
main
August 16, 2024 09:00 8m 13s
[main]: Add more comments in the source code (#2938) Codespaces Prebuilds #73: by github-codespaces bot
August 9, 2024 09:00 16m 11s main
main
August 9, 2024 09:00 16m 11s
[main]: Add support for unsigned 8-bit integer type Byte (#2918) Codespaces Prebuilds #72: by github-codespaces bot
August 2, 2024 09:00 15m 16s main
main
August 2, 2024 09:00 15m 16s