28769915541
100%

Ran 06 Jul 2026 05:29AM UTC

Jobs 2

Files 17

Run time 1min

Badge

Embed ▾

Committed 06 Jul 2026 05:28AM UTC coverage: 100.0%. Remained the same

Build # 28769915541

Build Type

push

github

Committed by

lu-pl

Commit Message

chore: add dev shell entries to .gitignore

The change adds entries for a dev shell flake, .envrc and .direnv to .gitignore. The current flake
has to make pandas and numpy work by adding dynamic linking to system binaries. This kludge will be
removed with the switch from Pandas to Polars - a proper dev shell flake shall then be publised.

Coverage Stats

695 of 695 relevant lines covered (100.0%)

2.0 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	28769915541.1	06 Jul 2026 05:29AM UTC	17	100.0	GitHub Action Run
2	28769915541.2	06 Jul 2026 05:29AM UTC	17	100.0	GitHub Action Run

acdh-oeaw / rdfproxy / 28769915541
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28769915541

acdh-oeaw / rdfproxy / 28769915541 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28769915541

acdh-oeaw / rdfproxy / 28769915541
100%

README BADGES
x