An open index of dependabot pull requests across open source projects.

#326 - ci: bump actions/checkout from 4 to 6
Open 5 days ago • 2 comments
major
actions:actions/checkout 4 → 6
hyperpolymath
#88 -
Open 18 days ago
hyperpolymath
#23 - ci: bump editorconfig-checker/action-editorconfig-checker from 2.1.0 to 2.2.0
Open about 2 months ago • 1 comment
actions:editorconfig-checker/action-editorconfig-checker 2.1.0 → 2.2.0 minor
hyperpolymath
#21 - ci: bump actions/upload-pages-artifact from 4.0.0 to 5.0.0
Open about 2 months ago • 1 comment
actions:actions/upload-pages-artifact 4.0.0 → 5.0.0 major
hyperpolymath
#12 -
Open about 2 months ago
hyperpolymath
#6 -
Open 2 months ago
hyperpolymath
#40 -
Open 4 months ago
hyperpolymath
#39 -
Open 4 months ago
hyperpolymath
#38 - ci: bump actions/cache from 5.0.2 to 5.0.3
Open 4 months ago • 2 comments
actions:actions/cache 5.0.2 → 5.0.3 patch
hyperpolymath
#37 - ci: bump erlef/setup-beam from 1.17.5 to 1.20.4
Open 4 months ago • 2 comments
actions:erlef/setup-beam 1.17.5 → 1.20.4 minor
hyperpolymath
#36 - ci: bump actions/checkout from 4.1.1 to 6.0.2
Open 4 months ago • 1 comment
actions:actions/checkout 4.1.1 → 6.0.2 major
hyperpolymath
#32 -
Open 4 months ago
hyperpolymath
#30 -
Open 4 months ago
hyperpolymath
#31 - ci: bump dtolnay/rust-toolchain from 56f84321dbccf38fb67ce29ab63e4754056677e0 to f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561
Open 4 months ago • 1 comment
actions:dtolnay/rust-toolchain 56f84321dbccf38fb67ce29ab63e4754056677e0 → f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561
hyperpolymath
#27 - ci: bump webfactory/ssh-agent from 0.9.0 to 0.9.1
Open 5 months ago • 1 comment
actions:webfactory/ssh-agent 0.9.0 → 0.9.1 patch
hyperpolymath
#25 - ci: bump github/codeql-action from 3.27.0 to 4.31.9
Open 5 months ago • 2 comments
actions:github/codeql-action 3.27.0 → 4.31.9 major
hyperpolymath
#24 - ci: bump ossf/scorecard-action from 2.4.0 to 2.4.3
Open 5 months ago • 1 comment
actions:ossf/scorecard-action 2.4.0 → 2.4.3 patch
hyperpolymath
#17 -
Open 5 months ago
hyperpolymath
#16 -
Open 5 months ago
hyperpolymath
#13 -
Open 5 months ago
hyperpolymath
#15 - ci: bump softprops/action-gh-release from 2.2.2 to 2.5.0
Open 5 months ago • 1 comment
actions:softprops/action-gh-release 2.2.2 → 2.5.0 minor
hyperpolymath
#14 - ci: bump actions/checkout from 4.1.1 to 6.0.1
Open 5 months ago • 1 comment
actions:actions/checkout 4.1.1 → 6.0.1 major
hyperpolymath
#9 -
Open 5 months ago
hyperpolymath
#11 - ci: bump webfactory/ssh-agent from 0.9.0 to 0.9.1
Open 5 months ago • 1 comment
actions:webfactory/ssh-agent 0.9.0 → 0.9.1 patch
hyperpolymath
#10 - ci: bump actions/checkout from 4.1.1 to 6.0.1
Open 5 months ago • 1 comment
actions:actions/checkout 4.1.1 → 6.0.1 major
hyperpolymath
#8 - ci: bump github/codeql-action from 3.28.0 to 4.31.9
Open 5 months ago • 1 comment
actions:github/codeql-action 3.28.0 → 4.31.9 major
hyperpolymath
#2 -
Open 6 months ago
hyperpolymath
#1 -
Open 6 months ago
hyperpolymath
#3 - ci: Bump actions/checkout from 4 to 6
Open 6 months ago • 1 comment
actions:actions/checkout 4 → 6
hyperpolymath
Repository Info

Programming language combining affine types, dependent types, and extensible effects - compiling ...

Language: OCaml
Stars: 1
Forks: 0
License: OTHER
Dependabot Stats
Total PRs: 29
Merged PRs: 0
Avg close time: N/A
Avg comments: 0
Top Labels