Asta Halkjær From (Apr 15 2024 at 15:09): Asta Halkjær From (Apr 15 2024 at 15:09):Hi,
I pushed a new theory to afp-devel five days ago. CI built it and it showed up online on the corresponding web page:
https://devel.isa-afp.org/entries/Implicational_Logic.html
Then the CI build broke for a while and now the new theory is no longer there. The website above doesn't correspond to the state of the repo:
It looks like new builds are not presenting this theory agai. I'm inclined to just make a small change to it, to force an update, but I guess there's a cache issue somewhere in the pipeline? Or maybe this is expected for devel? I think some of the other commits around that time are also not reflected online.
Best,
Asta
Fabian Huch (Apr 15 2024 at 15:11):The issue is that the CI build is still broken...
Fabian Huch (Apr 15 2024 at 15:11):*** Could not read from "https://doi.org/10.1145/3656437"
Fabian Huch (Apr 15 2024 at 15:11):I have already noticed the author about the offending change.
Asta Halkjær From (Apr 15 2024 at 15:13):Oh! They showed a green icon, so I didn't look into it. Thank you!
Fabian Huch (Apr 15 2024 at 15:15):It's not so broken that we would mark it as red ;)
Last updated: May 02 2024 at 01:06 UTC