Skip to content

Actions: EngineeringSoftware/pkdb

Actions

Type Checking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
type_check.yml
19 workflow runs
19 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update README.md Type Checking #20: Commit abbe687 pushed by IvanGrigorik
23s main
main
23s
add files required for AD/AE Type Checking #19: Commit 09e5bb7 pushed by IvanGrigorik
23s main
main
23s
Initial commit Type Checking #18: Commit ee89370 pushed by IvanGrigorik
25s main
main
25s
throw errors only if verbose Type Checking #17: Commit 4b01a05 pushed by IvanGrigorik
18s main
main
18s
fix typo Type Checking #16: Commit 928e4ae pushed by IvanGrigorik
23s main
main
23s
Merge branch 'main' of https://github.com/EngineeringSoftware/pkdb Type Checking #15: Commit 07a95c4 pushed by IvanGrigorik
26s main
main
26s
Create LICENSE Type Checking #14: Commit 4a292da pushed by IvanGrigorik
20s main
main
20s
add HIP example, remove unnecessary IR Type Checking #13: Commit ef5b4df pushed by IvanGrigorik
39s main
main
39s
refine attach + quit after stop Type Checking #11: Commit 8ba0ccc pushed by IvanGrigorik
26s main
main
26s
test in mixed spaces (todo: make set iteration, not just most recentl… Type Checking #10: Commit 897dad1 pushed by IvanGrigorik
25s main
main
25s
change mi error messages Type Checking #9: Commit 6601673 pushed by IvanGrigorik
26s main
main
26s
change break_anywhere function that caused slowdowns Type Checking #8: Commit be561b1 pushed by IvanGrigorik
19s main
main
19s
remove overlapped rows printing Type Checking #7: Commit fc9f012 pushed by IvanGrigorik
2h 40m 49s main
main
2h 40m 49s
README: update install instructions Type Checking #6: Commit 6020788 pushed by IvanGrigorik
23s main
main
23s
restore previous gitignore JSON ignore Type Checking #5: Commit 34653f3 pushed by IvanGrigorik
20s main
main
20s
update .gitignore Type Checking #4: Commit fdca273 pushed by IvanGrigorik
26s main
main
26s
initial commit Type Checking #3: Commit a6dc484 pushed by IvanGrigorik
24s main
main
24s
initial commit Type Checking #2: Commit afd9821 pushed by IvanGrigorik
20s main
main
20s
WIP: ae appendix Type Checking #1: Commit 3017f26 pushed by kennykos
22s main
main
22s