Skip to content

Releases: ddlog-dev2/differential-datalog

Foo

16 Jun 06:17
Compare
Choose a tag to compare
test9

Initial CI using GitHub actions.

Foo

16 Jun 05:55
Compare
Choose a tag to compare
Foo
test8

Initial CI using GitHub actions.

Foo

16 Jun 21:40
Compare
Choose a tag to compare
Foo
Replace Travis CI with GitHub workflow.

Travis no longer supports free builds for open source project backed by
companies.  We therefore switch to using GitHub actions instead.  Note
that most of the tests still run in GitLab and should probably be ported
to GitHub actions in the future.  For now we simply replicate the Travis
workflow.

Foo

16 Jun 20:22
Compare
Choose a tag to compare
Foo
Replace Travis CI with GitHub workflow.

Travis no longer supports free builds for open source project backed by
companies.  We therefore switch to using GitHub actions instead.  Note
that most of the tests still run in GitLab and should probably be ported
to GitHub actions in the future.  For now we simply replicate the Travis
workflow.

Foo

16 Jun 17:29
Compare
Choose a tag to compare
Foo
test14

Initial CI using GitHub actions.

Foo

16 Jun 16:36
Compare
Choose a tag to compare
Foo
test13

Initial CI using GitHub actions.

Foo

16 Jun 16:32
Compare
Choose a tag to compare
Foo
test12

Initial CI using GitHub actions.

Foo

16 Jun 07:10
Compare
Choose a tag to compare
Foo
test10

Initial CI using GitHub actions.

Foo

15 Jun 21:23
Compare
Choose a tag to compare
Foo
test7

Initial CI using GitHub actions.

Foo

15 Jun 19:37
Compare
Choose a tag to compare
Foo
test6

Initial CI using GitHub actions.