switch travis ci to github ci

.github/workflows/ci.yaml

@@ -0,0 +1,24 @@
+name: Cargo Build & Test
+
+on:
+  push:
+  pull_request:
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build_and_test:
+    name: Rust project - latest
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - run: rustup update stable && rustup default stable
+      - run: cargo build --verbose
+      - run: cargo test --verbose
+      - run: cargo test --verbose -- --ignored
+      - run: cargo fmt --check
+      - run: cargo clippy --all-targets -- -D warnings
+      - run: cargo rustdoc --verbose -- --html-in-header rustdoc-include-katex-header.html
+        env:
+          RUSTDOCFLAGS: -Dwarnings

README.md

@@ -1,6 +1,5 @@
 # program-induction
 
-[![Build Status](https://travis-ci.org/lorepozo/program-induction.svg?branch=master)](https://travis-ci.org/lorepozo/program-induction)
 [![crates.io](https://img.shields.io/crates/v/programinduction.svg)](https://crates.io/crates/programinduction)
 [![docs.rs](https://docs.rs/programinduction/badge.svg)](https://docs.rs/programinduction)