Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 3a23d5b 🚀

Force push
github-actions[bot]force pushed to gh-pages • a81679e…c7ce5bb • 
on Jun 20, 2024

Move the book to book/ folder and add more content (#84)

Pull request merge
celinvalpushed 1 commit to main • ea28c92…3a23d5b • 
on Jun 20, 2024

Deploying to gh-pages from @ ea28c92 🚀

Force push
github-actions[bot]force pushed to gh-pages • 76cc38f…a81679e • 
on Apr 19, 2024

Add a job to check the demo

Pull request merge
oli-obkpushed 2 commits to main • 801f474…ea28c92 • 
on Apr 19, 2024

Deploying to gh-pages from @ 801f474 🚀

Force push
github-actions[bot]force pushed to gh-pages • e22e074…76cc38f • 
on Jan 26, 2024

Fix compilation after changes to trait and run

Pull request merge
oli-obkpushed 1 commit to main • 8ec26c6…801f474 • 
on Jan 26, 2024

Deploying to gh-pages from @ 8ec26c6 🚀

Force push
github-actions[bot]force pushed to gh-pages • df9f280…e22e074 • 
on Dec 2, 2023

Fix test after moving name fn to CrateDef trait (#55)

Pull request merge
celinvalpushed 1 commit to main • 4188bdc…8ec26c6 • 
on Dec 2, 2023

Deploying to gh-pages from @ 4188bdc 🚀

Force push
github-actions[bot]force pushed to gh-pages • ffc7d81…df9f280 • 
on Nov 20, 2023

Improve our tests to check instances and visitor (#51)

Pull request merge
celinvalpushed 1 commit to main • 16849ae…4188bdc • 
on Nov 20, 2023

Deploying to gh-pages from @ 16849ae 🚀

Force push
github-actions[bot]force pushed to gh-pages • c790d82…ffc7d81 • 
on Oct 27, 2023

Adjust test driver due to breaking changes

Pull request merge
oli-obkpushed 1 commit to main • fd9ce75…16849ae • 
on Oct 27, 2023

Deploying to gh-pages from @ fd9ce75 🚀

Force push
github-actions[bot]force pushed to gh-pages • 0d84a03…c790d82 • 
on Oct 10, 2023

Fix mdbook and add format check

Pull request merge
oli-obkpushed 1 commit to main • 8b4868e…fd9ce75 • 
on Oct 10, 2023

Add custom toolchain section

Pull request merge
oli-obkpushed 2 commits to main • bad1ac2…8b4868e • 
on Oct 10, 2023

Fix tests after nightly breaking changes

Pull request merge
oli-obkpushed 1 commit to main • f0f892f…bad1ac2 • 
on Oct 10, 2023

Create tooling for end-to-end testing (#25)

Pull request merge
celinvalpushed 1 commit to main • cdc5e70…f0f892f • 
on Oct 3, 2023

Add a minimum triage bot

celinvalcreated test • cdc5e70 • 
on Aug 30, 2023

Add a minimum triage bot

Pull request merge
oli-obkpushed 1 commit to main • 9d7f594…cdc5e70 • 
on Aug 1, 2023