#326 - ci: bump actions/checkout from 4 to 6
Open 5 days ago • 2 comments
major
actions:actions/checkout
4 → 6
#88 -
Open 18 days ago#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
#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
#12 -
Open about 2 months ago#6 -
Open 2 months ago#40 -
Open 4 months ago#39 -
Open 4 months ago#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
#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
#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
#32 -
Open 4 months ago#30 -
Open 4 months ago#31 - ci: bump dtolnay/rust-toolchain from 56f84321dbccf38fb67ce29ab63e4754056677e0 to f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561
Open 4 months ago • 1 comment
actions:dtolnay/rust-toolchain
56f84321dbccf38fb67ce29ab63e4754056677e0 → f7ccc83f9ed1e5b9c81d8a67d7ad1a747e22a561
#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
#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
#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
#17 -
Open 5 months ago#16 -
Open 5 months ago#13 -
Open 5 months ago#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
#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
#9 -
Open 5 months ago#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
#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
#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
#2 -
Open 6 months ago#1 -
Open 6 months ago#3 - ci: Bump actions/checkout from 4 to 6
Open 6 months ago • 1 comment
actions:actions/checkout
4 → 6
Repository Info
Programming language combining affine types, dependent types, and extensible effects - compiling ...
Language: OCamlStars: 1
Forks: 0
License: OTHER
Dependabot Stats
Total PRs: 29
Merged PRs: 0
Avg close time: N/A
Avg comments: 0
Merged PRs: 0
Avg close time: N/A
Avg comments: 0