Skip to content

Actions: suhr/tmath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: typos in fun section Deploy static content to Pages #39: Commit 85f9db2 pushed by suhr
34s master
master
34s
Имя функции Deploy static content to Pages #38: Commit 3132d34 pushed by suhr
34s master
master
34s
Связывание переменной: уточнение Deploy static content to Pages #37: Commit 5003820 pushed by suhr
45s master
master
45s
Fix more typos Deploy static content to Pages #36: Commit 7f7c1d2 pushed by suhr
44s master
master
44s
Fix typos Deploy static content to Pages #35: Commit 47ed4a4 pushed by suhr
53s master
master
53s
Fix prose Deploy static content to Pages #34: Commit 47b75d2 pushed by suhr
33s master
master
33s
Use \mapsto Deploy static content to Pages #33: Commit 7e32996 pushed by suhr
34s master
master
34s
Delete todo directory Deploy static content to Pages #32: Commit a22d567 pushed by suhr
42s master
master
42s
Create LICENSE Deploy static content to Pages #31: Commit 13b46f4 pushed by suhr
43s master
master
43s
Add footnotes to nat.md Deploy static content to Pages #30: Commit a25f585 pushed by suhr
38s master
master
38s
Update Lean Deploy static content to Pages #29: Commit 669cee4 pushed by suhr
36s master
master
36s
Fix markup Deploy static content to Pages #28: Commit c64f8d4 pushed by suhr
36s master
master
36s
Disable package mode Deploy static content to Pages #27: Commit 575134d pushed by suhr
47s master
master
47s
Create README.md Deploy static content to Pages #26: Commit dfe81ed pushed by suhr
31s master
master
31s
Update GitHub Workflow Deploy static content to Pages #25: Commit 1203a61 pushed by suhr
39s master
master
39s
Натуральные числа Deploy static content to Pages #24: Commit 54b05ba pushed by suhr
20s master
master
20s
Fix typo in fun.md Deploy static content to Pages #23: Commit 84f799a pushed by suhr
2m 53s master
master
2m 53s