Skip to content

Actions: fykosak/problem-manager

Actions

Typecheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tsc.yml
254 workflow runs
254 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #80 from fykosak/dev-human-result Typecheck #254: Commit f6774f6 pushed by Headary
50s master
master
50s
Add result text Typecheck #253: Pull request #80 opened by Headary
50s dev-human-result
dev-human-result
50s
add result text Typecheck #252: Commit 4a8758e pushed by Headary
45s dev-human-result
dev-human-result
45s
Merge pull request #79 from fykosak/dev-fix-mapped-org-signatures Typecheck #251: Commit 162614f pushed by Headary
47s master
master
47s
Apply organizer mapping to problem export Typecheck #250: Pull request #79 opened by Headary
47s dev-fix-mapped-org-signatures
dev-fix-mapped-org-signatures
47s
apply organizer mapping to problem export Typecheck #249: Commit 7d99703 pushed by Headary
44s dev-fix-mapped-org-signatures
dev-fix-mapped-org-signatures
44s
Merge pull request #77 from fykosak/dev-tex-api Typecheck #248: Commit d94dc47 pushed by Headary
47s master
master
47s
TeX api Typecheck #247: Pull request #77 opened by Headary
46s dev-tex-api
dev-tex-api
46s
define media type for jpeg and pdf Typecheck #246: Commit dea2dfc pushed by Headary
46s dev-tex-api
dev-tex-api
46s
tex api router + export files Typecheck #245: Commit 2e304c4 pushed by Headary
44s dev-tex-api
dev-tex-api
44s
Merge pull request #75 from fykosak/dev-editor-sync Typecheck #244: Commit 80f82d6 pushed by Headary
57s master
master
57s
Auto resync Yjs Typecheck #243: Pull request #75 opened by Headary
54s dev-editor-sync
dev-editor-sync
54s
auto resync Typecheck #242: Commit 407abd7 pushed by Headary
49s dev-editor-sync
dev-editor-sync
49s
Merge pull request #74 from fykosak/dev-editor-sync Typecheck #241: Commit 782274c pushed by Headary
44s master
master
44s
Try to fix initial editor sync Typecheck #240: Pull request #74 opened by Headary
43s dev-editor-sync
dev-editor-sync
43s
try to fix initial editor sync Typecheck #239: Commit e440ad0 pushed by Headary
41s dev-editor-sync
dev-editor-sync
41s
Merge pull request #73 from fykosak/dev-metapost-error Typecheck #238: Commit b31b742 pushed by Headary
44s master
master
44s
Fail on metapost error Typecheck #237: Pull request #73 opened by Headary
48s dev-metapost-error
dev-metapost-error
48s
fail on metapost errorl Typecheck #236: Commit b8aa52c pushed by Headary
46s dev-metapost-error
dev-metapost-error
46s
Merge pull request #72 from fykosak/dev-ctrl-s Typecheck #235: Commit 1e0780a pushed by Headary
50s master
master
50s
Run build with ctrl+s Typecheck #234: Pull request #72 synchronize by Headary
45s dev-ctrl-s
dev-ctrl-s
45s
unsaved changes warning Typecheck #233: Commit f7ab683 pushed by Headary
48s dev-ctrl-s
dev-ctrl-s
48s
Run build with ctrl+s Typecheck #232: Pull request #72 opened by Headary
43s dev-ctrl-s
dev-ctrl-s
43s
run build with ctrl+s Typecheck #231: Commit 21bdbb3 pushed by Headary
43s dev-ctrl-s
dev-ctrl-s
43s
Merge pull request #70 from fykosak/dev-html-release Typecheck #230: Commit 3e116af pushed by Headary
43s master
master
43s