Kevin Buzzard
|
f3792e5405
|
better? docstrings
|
2023-08-04 01:49:06 +01:00 |
|
Kevin Buzzard
|
484813fbe9
|
more tutorial edits
|
2023-08-04 01:38:30 +01:00 |
|
Kevin Buzzard
|
5faad0d5ba
|
initial modification of tutorial level
|
2023-08-03 20:37:06 +01:00 |
|
Kevin Buzzard
|
64efc60e1e
|
a bunch of half-finished stuff
|
2023-08-03 20:35:57 +01:00 |
|
Jon Eugster
|
c4032e254b
|
fix dockerfile
|
2023-07-23 21:23:07 +02:00 |
|
Jon Eugster
|
2255e5a211
|
update Dockerfile
|
2023-07-23 20:31:27 +02:00 |
|
Jon Eugster
|
2802e2ac08
|
rename Path to Dependency
|
2023-07-23 20:31:16 +02:00 |
|
Jon Eugster
|
04d81035ad
|
add a manual path
|
2023-07-20 16:49:37 +02:00 |
|
Jon Eugster
|
47b278783e
|
fixes
|
2023-07-20 16:11:24 +02:00 |
|
Jon Eugster
|
0033dbac4e
|
update Dockerfile
|
2023-07-19 16:31:46 +02:00 |
|
Jon Eugster
|
ba13a9633c
|
bump Gameserver
|
2023-07-19 14:58:22 +02:00 |
|
Jon Eugster
|
4687e0bd7c
|
add mathlib again
|
2023-07-07 17:44:27 +02:00 |
|
Jon Eugster
|
b5ce7fe777
|
update installation instructions
|
2023-06-16 13:50:45 +02:00 |
|
Jon Eugster
|
9de14f4733
|
update workflow
|
2023-06-16 13:15:51 +02:00 |
|
Jon Eugster
|
1ea07dbb77
|
prevent autoforwarding localhost:8080 in vscode devcontainer
|
2023-06-16 13:15:12 +02:00 |
|
Alexander Bentkamp
|
da75366363
|
make dev container game-neutral
|
2023-06-13 12:02:08 +02:00 |
|
Alexander Bentkamp
|
6b349613f8
|
Merge pull request #6 from Seasawher/main
add devcontainer and tasks.json
|
2023-06-09 11:58:41 +02:00 |
|
seasawher
|
08d1e17286
|
add devcontainer and tasks.json
|
2023-06-07 14:13:09 +00:00 |
|
Alexander Bentkamp
|
527f977f79
|
Merge pull request #3 from balazs-endresz/main
typo
|
2023-05-22 08:52:12 +02:00 |
|
Balazs Endresz
|
e0f63f96a4
|
typo
|
2023-05-20 20:05:04 +02:00 |
|
Alexander Bentkamp
|
9c4b97e417
|
Merge pull request #2 from balazs-endresz/main
Fix a couple of typos
|
2023-05-17 13:30:32 +02:00 |
|
Balazs Endresz
|
378a156bbe
|
typos
|
2023-05-16 23:41:53 +02:00 |
|
Jon Eugster
|
b04341c0c4
|
optional statement
|
2023-05-15 18:00:00 +02:00 |
|
Jon Eugster
|
7797246471
|
fix?
|
2023-05-15 16:15:02 +02:00 |
|
Jon Eugster
|
2604c89284
|
big refactor
|
2023-05-15 15:12:35 +02:00 |
|
Jon Eugster
|
e81546a18d
|
Update build.yml
|
2023-05-13 15:47:11 +02:00 |
|
Jon Eugster
|
17bd9d9bf3
|
Update build.yml
|
2023-05-10 17:39:54 +02:00 |
|
Jon Eugster
|
cbdaac3555
|
modify workflows
|
2023-05-10 17:37:15 +02:00 |
|
Jon Eugster
|
e454fdee1f
|
fix
|
2023-05-10 16:49:58 +02:00 |
|
Jon Eugster
|
dfab08df0a
|
github actions
|
2023-05-10 16:46:34 +02:00 |
|
Jon Eugster
|
01292d1414
|
Update export.yml
|
2023-05-10 16:38:26 +02:00 |
|
Jon Eugster
|
8a6fbd9c01
|
Update build.yml
|
2023-05-10 16:38:04 +02:00 |
|
Jon Eugster
|
87f94e7bb8
|
modify workflows
|
2023-05-10 16:35:06 +02:00 |
|
Jon Eugster
|
d43ba1343a
|
allow action build to be triggered manually
|
2023-05-10 15:53:02 +02:00 |
|
Alexander Bentkamp
|
5219ad358d
|
rearrange github actions
|
2023-05-10 15:47:14 +02:00 |
|
Alexander Bentkamp
|
e22e4afbdf
|
use wget
|
2023-05-10 15:41:20 +02:00 |
|
Alexander Bentkamp
|
ec5b5b43bd
|
next try
|
2023-05-10 15:35:47 +02:00 |
|
Alexander Bentkamp
|
7943ed3402
|
more
|
2023-05-10 15:28:27 +02:00 |
|
Alexander Bentkamp
|
d6db4c544d
|
more
|
2023-05-10 15:26:54 +02:00 |
|
Alexander Bentkamp
|
c33ddcb8b3
|
try to fix github actions
|
2023-05-10 13:27:52 +02:00 |
|
Jon Eugster
|
43fa076464
|
remove get cache from dockerfile
|
2023-05-08 18:31:18 +02:00 |
|
Jon Eugster
|
0deb55e8ac
|
remove mathlib as dependecy
|
2023-05-08 18:23:18 +02:00 |
|
Jon Eugster
|
471989d668
|
work on inequality
|
2023-05-08 10:07:38 +02:00 |
|
Alexander Bentkamp
|
b77926f043
|
Merge pull request #1 from add-IV/patch-1
fix typo
|
2023-05-05 18:00:38 +02:00 |
|
add-IV
|
807a938c6d
|
fix typo
|
2023-05-05 15:45:32 +02:00 |
|
Alexander Bentkamp
|
1d7194c198
|
ubuntu:22.04
|
2023-05-05 14:57:55 +02:00 |
|
Alexander Bentkamp
|
0e033b082a
|
ubuntu 20.04
|
2023-05-05 14:54:30 +02:00 |
|
Alexander Bentkamp
|
4277a8ad12
|
apt-get upgrade
|
2023-05-05 14:49:12 +02:00 |
|
Alexander Bentkamp
|
8b1cbb25c3
|
more test
|
2023-05-05 12:02:51 +02:00 |
|
Alexander Bentkamp
|
a597f64a49
|
test
|
2023-05-05 12:01:42 +02:00 |
|