Vectornaut
  • Joined on 2019-09-28
Vectornaut pushed to curvature-regulators_head-start at Vectornaut/dyna3 2025-04-02 05:32:44 +00:00
47cc559cd6 Add a half-curvature regulator
b117c00992 Specify the values of the frozen entries
ca9de34427 Interpolate sphere ID and label, as intended
25f446499b Introduce a regulator trait
f1f87e97be Store a product regulator's subjects in an array
Compare 7 commits »
Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-04-02 04:28:46 +00:00
Set up continuous integration in Forgejo

In the setup-trunk action, you added the comment: "Assume we remain in the top-level directory of the checkout." It seems to me, though, that it doesn't really matter where setup-trunk runs;…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-04-02 04:24:53 +00:00
Set up continuous integration in Forgejo

Thanks for taking care of the Trunk install path change! In the process, did you notice whether merging was disabled on the commits where CI failed? (If not, I'll check with a deliberately failing…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-04-02 02:47:51 +00:00
Set up continuous integration in Forgejo

Oops, I see that you just discovered the same thing.

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-04-02 02:47:25 +00:00
Set up continuous integration in Forgejo

Oh, now I remember how to do this! You have to write to the GITHUB_PATH variable. I did this in the [setup-rust](bbfdf2b87f

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-04-01 17:54:48 +00:00
Set up continuous integration in Forgejo

People in the Rust ecosystem consistently seem to say that CARGO_HOME is meant to be set before setting up the Rust toolchain [1][[2](https://github.com/ru

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-04-01 07:27:01 +00:00
Set up continuous integration in Forgejo

The ideal is that as long as a "cargo" command of sufficiently high version is findable/executable when invoked simply as "cargo", then nothing else from the context/environment is needed/used,…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-31 18:14:42 +00:00
Set up continuous integration in Forgejo

In fact, there seems to be a CARGO_HOME environment variable. I'd rather set that to someplace in our directory tree to keep this self-contained.

Could you clarify what you mean by "self-conta…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-30 20:08:15 +00:00
Set up continuous integration in Forgejo

Good point: it would be nice to make the setup-trunk action more container-independent. I think I've done this in commit df2d458. There may be a cleaner way to do it, but this is the best I…

Vectornaut pushed to forgejo-ci at Vectornaut/dyna3 2025-03-30 20:05:34 +00:00
df2d45816c Find the home directory instead of hard-coding it
Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-29 06:13:26 +00:00
Set up continuous integration in Forgejo

By the way, it turns out that Sycamore doesn't currently enforce a minimum Rust version at compile time, but the maintainer has [okayed](https://github.com/sycamore-rs/sycamore/issues/191#issuecomm

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-29 06:08:14 +00:00
Set up continuous integration in Forgejo

P.S. If there is some small change inspired by any of the comments, see if you can give me the information needed for me to do it myself, vis-a-vis testing that my pushes trigger the CI run.…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-29 05:57:05 +00:00
Set up continuous integration in Forgejo

The documentation of Gitea Actions and Forgejo Actions seems to rely a lot on the principle that these are "similar and mostly compatible…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-29 05:42:27 +00:00
Set up continuous integration in Forgejo

(A) Right now, my main use case for run-examples is to get the printed output of the examples in a known order with no extra output mixed in. When we address #77, I plan to turn this into a…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-29 05:33:00 +00:00
Set up continuous integration in Forgejo

I think the label defaults.run.working-directory sets the default only for run steps, [like in GitHub Actions](https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-ac

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-28 23:06:12 +00:00
Set up continuous integration in Forgejo

I have no OS package (vis OpenSUSE Tumbleweed) access to a later version of cargo.

rpm -qf /usr/bin/cargo
rustup-1.28.1~0-1.1.x86_64

My impression is that rustup is a…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-28 22:50:26 +00:00
Set up continuous integration in Forgejo

Your prediction is correct. So what's the response?

Since these messages crossed: see above.

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-28 22:44:47 +00:00
Set up continuous integration in Forgejo

I'd love to hear thoughts on how we can make things at least let you know that you need to change/update versions of things

Since the error is coming from Sycamore, it…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-28 22:37:44 +00:00
Set up continuous integration in Forgejo

I'm now confident that this is a Rust version issue. A helpful Redditor announced that the…

Vectornaut commented on pull request StudioInfinity/dyna3#75 2025-03-28 22:19:53 +00:00
Set up continuous integration in Forgejo

That's odd!

  • Which test is this happening in?
  • Do you get a similar "lint reasons are experimental" warning when you call cargo build or trunk build?
  • What do you get when you call…