Skip to content

Actions: The-Ray-Man/naturalDeduction

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

formatting Publish docker image #25: Commit 3b1c343 pushed by The-Ray-Man
6m 28s main
main
6m 28s
Merge branch 'main' of github.com:The-Ray-Man/naturalDeduction Publish docker image #24: Commit cd7c0a9 pushed by The-Ray-Man
6m 54s main
main
6m 54s
Update layout.tsx Publish docker image #23: Commit 23bc508 pushed by The-Ray-Man
6m 52s main
main
6m 52s
Various small fixes (#16) Publish docker image #22: Commit 943f7fb pushed by The-Ray-Man
6m 51s main
main
6m 51s
Don't ddos server (#14) Publish docker image #21: Commit 783fd09 pushed by The-Ray-Man
7m 4s main
main
7m 4s
fix and format (#15) Publish docker image #20: Commit 83a316f pushed by The-Ray-Man
6m 44s main
main
6m 44s
matcher imporoved (#13) Publish docker image #19: Commit 277c83b pushed by The-Ray-Man
6m 29s main
main
6m 29s
Add footnotes to typst export (#12) Publish docker image #18: Commit 48d304e pushed by The-Ray-Man
6m 35s main
main
6m 35s
fix: add emptyset as lhs fallback (#10) Publish docker image #17: Commit 48a4f7e pushed by The-Ray-Man
6m 43s main
main
6m 43s
Sideconditions in exercises (#11) Publish docker image #16: Commit cfe20b9 pushed by The-Ray-Man
2m 44s main
main
2m 44s
Hint fix (#9) Publish docker image #15: Commit 29dccca pushed by The-Ray-Man
6m 38s main
main
6m 38s
fix Publish docker image #14: Commit 466322a pushed by The-Ray-Man
7m 3s main
main
7m 3s
image size fix Publish docker image #13: Commit f3652bb pushed by The-Ray-Man
6m 28s main
main
6m 28s
Update Dockerfile Publish docker image #12: Commit 91d81c9 pushed by The-Ray-Man
7m 18s main
main
7m 18s
Update Dockerfile Publish docker image #11: Commit d75b8d6 pushed by The-Ray-Man
3m 1s main
main
3m 1s
Hints (#8) Publish docker image #10: Commit aed15f9 pushed by The-Ray-Man
26s main
main
26s
motivation improvement Publish docker image #9: Commit 51e3602 pushed by The-Ray-Man
5m 46s main
main
5m 46s
look & feel Publish docker image #8: Commit 5e2b1db pushed by The-Ray-Man
5m 41s main
main
5m 41s
Feedback (#7) Publish docker image #7: Commit 2151340 pushed by The-Ray-Man
5m 55s main
main
5m 55s
fix: fix formula typo (#6) Publish docker image #6: Commit 620f1ac pushed by The-Ray-Man
6m 1s main
main
6m 1s
Add typst and png export (#3) Publish docker image #5: Commit 7ee810f pushed by The-Ray-Man
5m 44s main
main
5m 44s
typo fix Publish docker image #4: Commit 23f1b32 pushed by The-Ray-Man
6m 16s main
main
6m 16s
Merge pull request #4 from The-Ray-Man/free-variables-issue Publish docker image #3: Commit c2dd7e4 pushed by The-Ray-Man
5m 52s main
main
5m 52s
Merge pull request #2 from The-Ray-Man/action-dispatch Publish docker image #2: Commit 832f332 pushed by The-Ray-Man
5m 44s main
main
5m 44s
Publish docker image Publish docker image #1: Manually run by The-Ray-Man
5m 55s main
main
5m 55s