This website requires JavaScript.
Explore
Help
Sign In
josia-notes
/
w23-logic-2
Watch
1
Star
0
Fork
0
You've already forked w23-logic-2
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
All Workflows
build.yaml
Actor
All actors
josia
Status
All status
success
failure
waiting
running
Suggestions by Mirko (pages 1 - 18), thank you!
build.yaml #31
:
Commit
bc24bdab44
pushed by
josia
master
2023-12-03 03:42:13 +01:00
-13m3s
13
build.yaml #30
:
Commit
97757443c4
pushed by
josia
master
2023-11-30 16:07:14 +01:00
13m34s
lecture 12
build.yaml #29
:
Commit
9a3359dfd0
pushed by
josia
master
2023-11-27 16:10:06 +01:00
1m19s
lecture 10
build.yaml #28
:
Commit
e00a65122e
pushed by
josia
master
2023-11-24 19:42:12 +01:00
11m22s
lecture 10
build.yaml #27
:
Commit
a844f91bc5
pushed by
josia
master
2023-11-24 19:22:12 +01:00
15m2s
lecture 11
build.yaml #26
:
Commit
a8c758c5f0
pushed by
josia
master
2023-11-23 15:49:32 +01:00
11m0s
lecture 09
build.yaml #25
:
Commit
6936663173
pushed by
josia
master
2023-11-16 15:52:13 +01:00
13m28s
xspace
build.yaml #24
:
Commit
32c8b3214b
pushed by
josia
master
2023-11-14 23:15:04 +01:00
1m13s
small fixes
build.yaml #23
:
Commit
26c32ce1bb
pushed by
josia
master
2023-11-13 20:29:43 +01:00
1m14s
better ref for axioms
build.yaml #22
:
Commit
64a348389b
pushed by
josia
master
2023-11-13 20:23:17 +01:00
1m14s
some fixes
build.yaml #21
:
Commit
0771440511
pushed by
josia
master
2023-11-13 19:44:08 +01:00
1m13s
TODO
build.yaml #20
:
Commit
883ee88516
pushed by
josia
master
2023-11-13 15:53:20 +01:00
40s
Lecture 7
build.yaml #19
:
Commit
54406f77ab
pushed by
josia
master
2023-11-09 15:57:12 +01:00
13m2s
lecture 6
build.yaml #18
:
Commit
a6465aea45
pushed by
josia
master
2023-11-06 16:37:12 +01:00
14m35s
small changes
build.yaml #17
:
Commit
e7baf0832b
pushed by
josia
master
2023-11-05 03:32:13 +01:00
15m16s
lecture 04
build.yaml #16
:
Commit
430ad82e8b
pushed by
josia
master
2023-11-05 01:15:21 +01:00
16m8s
lecture 4
build.yaml #15
:
Commit
340e034fdf
pushed by
josia
master
2023-11-05 01:00:07 +01:00
56s
lecture 06
build.yaml #14
:
Commit
ab3a4b7556
pushed by
josia
master
2023-10-31 20:17:01 +01:00
41s
lecture 5
build.yaml #13
:
Commit
c787dd2b51
pushed by
josia
master
2023-10-30 15:53:36 +01:00
40s
Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2
build.yaml #12
:
Commit
10313b35f1
pushed by
josia
master
2023-10-25 15:52:12 +02:00
14m10s
small fix
build.yaml #11
:
Commit
b5e2d09090
pushed by
josia
master
2023-10-24 11:07:11 +02:00
16m3s
fixed label
build.yaml #10
:
Commit
fb2c5b2715
pushed by
josia
master
2023-10-24 11:02:11 +02:00
13m17s
fixed label
build.yaml #9
:
Commit
4a27324442
pushed by
josia
master
2023-10-24 10:35:57 +02:00
1m7s
lecture 03
build.yaml #8
:
Commit
1860f988c2
pushed by
josia
master
2023-10-24 00:03:08 +02:00
1m8s
03 beginning
build.yaml #7
:
Commit
ad39e2ac6d
pushed by
josia
master
2023-10-23 22:44:44 +02:00
1m6s
lecture 02
build.yaml #6
:
Commit
f7bd6359bd
pushed by
josia
master
2023-10-23 11:45:28 +02:00
1m6s
updated README.md
build.yaml #5
:
Commit
5f5de21d3d
pushed by
josia
master
2023-10-21 21:27:52 +02:00
1m10s
fixed ci
build.yaml #4
:
Commit
a7c18aa973
pushed by
josia
master
2023-10-17 23:49:26 +02:00
1m6s
add readme to pages
build.yaml #3
:
Commit
1306c62e93
pushed by
josia
master
2023-10-17 23:44:56 +02:00
17s
gitea ci
build.yaml #2
:
Commit
513c04095e
pushed by
josia
master
2023-10-17 21:08:08 +02:00
1m6s
First
Previous
1
2
3
Next
Last