Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ af23473 🚀

github-actions[bot]pushed 1 commit to gh-pages • 9a0bd5f…b6b330a • 
10 hours ago

Do not use iter when folding list

nilehmannpushed 1 commit to main • 3a53c60…af23473 • 
10 hours ago

Deploying to gh-pages from @ 3a53c60 🚀

github-actions[bot]pushed 1 commit to gh-pages • 60a6181…9a0bd5f • 
11 hours ago

Rename perf output files if they already exists

nilehmannpushed 1 commit to main • 88b8ffd…3a53c60 • 
11 hours ago

Deploying to gh-pages from @ 88b8ffd 🚀

github-actions[bot]pushed 1 commit to gh-pages • 2731ee4…60a6181 • 
12 hours ago

Some improvements to perf script

nilehmannpushed 1 commit to main • 0c9d2f3…88b8ffd • 
12 hours ago

Deploying to gh-pages from @ 0c9d2f3 🚀

github-actions[bot]pushed 1 commit to gh-pages • 947c167…2731ee4 • 
23 hours ago

Deleted branch

nilehmanndeleted push-pwuvyorzylvl • 
23 hours ago

Add utils to run flux with perf (#1022)

Pull request merge
nilehmannpushed 1 commit to main • 25203d5…0c9d2f3 • 
23 hours ago

misc

nilehmannpushed 1 commit to push-pwuvyorzylvl • a7a2309…3411f60 • 
yesterday

Add flux-perf.sh

nilehmanncreated push-pwuvyorzylvl • a7a2309 • 
yesterday

hack together blame spans

cole-kpushed 1 commit to ck-add-binder-metadata • 2915b69…027764e • 
yesterday

work on generating blame spans

cole-kpushed 1 commit to ck-add-binder-metadata • d099bc8…2915b69 • 
yesterday

Deploying to gh-pages from @ 25203d5 🚀

github-actions[bot]pushed 1 commit to gh-pages • dd499e2…947c167 • 
2 days ago

Deleted branch

nilehmanndeleted push-lrxlxwynvnww • 
2 days ago

Ad FluxId to represent flux-specific items (#1019)

Pull request merge
nilehmannpushed 1 commit to main • 202e8da…25203d5 • 
2 days ago

documentation

nilehmanncreated push-lrxlxwynvnww • 49513aa • 
2 days ago

Deploying to gh-pages from @ 202e8da 🚀

github-actions[bot]pushed 1 commit to gh-pages • 0cf1778…dd499e2 • 
3 days ago

Deleted branch

nilehmanndeleted push-vwmsyxpyqlmz • 
3 days ago

Fix cargo flux (#1018)

Pull request merge
nilehmannpushed 1 commit to main • 5810653…202e8da • 
3 days ago

Fix cargo flux

nilehmanncreated push-vwmsyxpyqlmz • d79f0a5 • 
3 days ago

Deploying to gh-pages from @ 5810653 🚀

github-actions[bot]pushed 1 commit to gh-pages • 508e13d…0cf1778 • 
3 days ago

Deleted branch

nilehmanndeleted push-krynolrmypsn • 
3 days ago

Move lifting to flux-desugar (#1017)

Pull request merge
nilehmannpushed 1 commit to main • 2d59d09…5810653 • 
3 days ago

remove unnecessary results

nilehmanncreated push-krynolrmypsn • 3100adf • 
3 days ago

Deploying to gh-pages from @ 2d59d09 🚀

github-actions[bot]pushed 1 commit to gh-pages • ac8c7bb…508e13d • 
4 days ago

Deleted branch

nilehmanndeleted push-srqwvsnorxzo • 
4 days ago

chore: update dependencies + remove profiling code (#1016)

Pull request merge
nilehmannpushed 1 commit to main • be71561…2d59d09 • 
4 days ago

remove dirs

nilehmanncreated push-srqwvsnorxzo • cf37a4c • 
4 days ago

Deploying to gh-pages from @ be71561 🚀

github-actions[bot]pushed 1 commit to gh-pages • 123c2a9…ac8c7bb • 
4 days ago