[CI] gavlegoat/pail #2208

tristan-f-r commented 2026年07月09日 23:53:44 +02:00

Projects

• Probabilistic abstract interpretation library

Expected Resource Usage

medium

I would also like the following users to be added

@gavlegoat
@ulahello
@manuklein

Additional Information

I and the aforementioned mentioned people are working on a research project for formalizing probabilistic programs under NSF award 2451734. We don't plan on using CI for anything significantly resource heavy (i.e. at the time, just running tests on CI would be great).

Other Work

I and gavlegoat are on GitHub https://github.com/tristan-f-r.

Statement

• I have placed a LICENSE file in my repository. (Or equivalent, such as COPYING or a LICENSES folder)
• I understand that Codeberg's CI might not always be available or stable, despite best efforts.
• I understand that I will be added to the Codeberg-CI organisation and can use the feedback repository to share feedback or report problems (email notifications for that repo are enabled by default).

### Projects - [Probabilistic abstract interpretation library](https://codeberg.org/gavlegoat/pail) ### Expected Resource Usage medium ### I would also like the following users to be added @gavlegoat @ulahello @manuklein ### Additional Information I and the aforementioned mentioned people are working on a research project for formalizing probabilistic programs under NSF award [2451734](https://www.nsf.gov/awardsearch/show-award?AWD_ID=2451734). We don't plan on using CI for anything significantly resource heavy (i.e. at the time, just running tests on CI would be great). ### Other Work I and [gavlegoat](https://github.com/gavlegoat) are on GitHub https://github.com/tristan-f-r. ### Statement - [x] I have placed a LICENSE file in my repository. (Or equivalent, such as `COPYING` or a [LICENSES folder](https://reuse.software)) - [x] I understand that Codeberg's CI might not always be available or stable, despite best efforts. - [x] I understand that I will be added to the [Codeberg-CI organisation](https://codeberg.org/Codeberg-CI/) and can use the [feedback repository](https://codeberg.org/Codeberg-CI/feedback) to share feedback or report problems (email notifications for that repo are enabled by default).

codeberg-cibot commented 2026年07月09日 23:53:45 +02:00

The following projects likely have an approved license:

• Probabilistic abstract interpretation library: BSD-3-Clause (confidence: 1.00)

Trying to auto-approve.

The following projects likely have an approved license: - [Probabilistic abstract interpretation library](https://codeberg.org/gavlegoat/pail): BSD-3-Clause (confidence: 1.00) Trying to auto-approve.

codeberg-cibot commented 2026年07月09日 23:53:46 +02:00

Access granted.

@gavlegoat @ulahello @manuklein @tristan-f-r

Access granted. @gavlegoat @ulahello @manuklein @tristan-f-r