Compiling GitHub Actions Into Datalog
Name
Gulnar Mammadli
Abstract
Datalog is a declarative programming language that defines arbitrary relationships with rules and facts. With this paper, we aim to evaluate using it as an alternative syntax to write continuous integration pipelines over the GitHub Actions platform. These pipelines are written in YAML and denote dependency chains. Our key contribution is experimenting with a syntax closer to the semantics being outlined, potentially solving the common problems developers have while working with these files.
Graduation Thesis language
English
Graduation Thesis type
Master - Computer Science
Supervisor(s)
Bruno Rucy Carneiro Alves de Lima, Mykhailo Dorokhov
Defence year
2024