Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Switch to GitHub actions for CI #26

Merged
merged 19 commits into from
Aug 6, 2020
Merged

Switch to GitHub actions for CI #26

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
e5f0e37
Try GitHub CI
jakobbotsch Aug 5, 2020
c5008a0
sudo work
jakobbotsch Aug 5, 2020
b0a1333
Fix?
jakobbotsch Aug 5, 2020
09128cc
Wtf
jakobbotsch Aug 5, 2020
526b1f5
What is going on?
jakobbotsch Aug 6, 2020
6e38eef
More logging
jakobbotsch Aug 6, 2020
fd9cf94
whoami
jakobbotsch Aug 6, 2020
b0b60ba
More
jakobbotsch Aug 6, 2020
e37d020
Take ownership
jakobbotsch Aug 6, 2020
bea1381
More
jakobbotsch Aug 6, 2020
86fef4f
Wtf
jakobbotsch Aug 6, 2020
966556a
Test
jakobbotsch Aug 6, 2020
4fd2bac
What
jakobbotsch Aug 6, 2020
6251816
Fix?
jakobbotsch Aug 6, 2020
ba10276
Finally?
jakobbotsch Aug 6, 2020
dff432e
What is this...
jakobbotsch Aug 6, 2020
96c1fec
Like this?
jakobbotsch Aug 6, 2020
149de85
Last changes with something that does not compile
jakobbotsch Aug 6, 2020
e2ae395
Undo change that does not compile and remove old CI
jakobbotsch Aug 6, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Test
  • Loading branch information
@jakobbotsch
jakobbotsch committed Aug 6, 2020
commit 966556a1bb1b556088b587312a1c1d3047eaa22e
5 changes: 4 additions & 1 deletion .github/workflows/build.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,10 @@ jobs:
- run: env
- run: whoami
- run: pwd
- run: ls
- run: |
whoami
ls -a ~
ls -a /home/coq
- run: ls -a ~
- run: ls -a ~/.opam
- run: opam switch
Expand Down