Commits
Branch selector
User selector
Datepicker
Commit History
Commits on Aug 25, 2025
Merge pull request #36 from dylan-lang/dependabot/github_actions/actions/checkout-5
Show description for 6388f85authoredBump actions/checkout from 4 to 5
Show description for 700cb3cauthored
Commits on Mar 13, 2025
- committed
Merge pull request #35 from fraya/doc-update
Show description for fb112a1authored
Commits on Mar 12, 2025
ci: Separate document deployment from pull request checks
Show description for 240332ccommitteddoc: Move papers/ to source/
Show description for c8fb1d0committed
Commits on Mar 11, 2025
- committed
- committed
Commits on Nov 4, 2024
Bump mikepenz/action-junit-report from 4 to 5 (#34)
Show description for 1e5b16cauthored
Commits on Apr 5, 2024
Fix error in field 'url' of package description (#31)
Show description for af9ade9authored
Commits on Apr 4, 2024
Fix error in GH action (#30)
Show description for b3dcc97authored
Commits on Apr 3, 2024
Adapt to dylan-tool (#29)
Show description for cfbff10authored
Commits on Apr 13, 2022
- authored
Commits on Apr 13, 2020
Merge pull request #26 from cgay/dev
Show description for e66991bauthored
Commits on Apr 6, 2020
- committed
- committed
[tests] add extra assertions
Show description for 8a68b42committed- committed
- committed
[tests] Remove unnecessary Testworks 'define suite' forms
Show description for 32c8a8ccommitted
Commits on Mar 23, 2020
Merge pull request #25 from abeaumont/abeaumont/fix-paper-references
Show description for eea6750authored- committed
Commits on Feb 22, 2020
Merge pull request #23 from cgay/doc
Show description for e456f15authored
Commits on Feb 1, 2020
Commits on Jan 31, 2020
Commits on Aug 27, 2015
Merge pull request #22 from dylan-lang/documentation-fixes
Show description for 967f748committed
Commits on Aug 25, 2015
- committed
[documentation] Fix syntax error in <null-frame> doc.
Show description for 8fd3c06committed[documentation] Update for new sphinx-extensions.
Show description for f425c53committed
Commits on Jan 28, 2014
- committed
- committed
- committed
Commits on Jan 25, 2014
Merge pull request #20 from enlight/master
Show description for 303d78acommitted