Skip to content

Actions: Ziharrk/kmcc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Scheduled CodeQL #15: by github-advanced-security AI
42s main
main
42s
Update comment on non-strict unification implementation CI #56: Commit a36bb5e pushed by Ziharrk
34m 37s main
main
34m 37s
Push on main CodeQL #14: by Ziharrk
43s main
main
43s
Fix handling of non-linear functional pattern CI #55: Commit 21a48a7 pushed by Ziharrk
48s main
main
48s
Push on main CodeQL #13: by Ziharrk
47s main
main
47s
Scheduled CodeQL #12: by github-advanced-security AI
43s main
main
43s
Scheduled CodeQL #11: by github-advanced-security AI
49s main
main
49s
Scheduled CodeQL #10: by github-advanced-security AI
44s main
main
44s
Scheduled CodeQL #9: by github-advanced-security AI
48s main
main
48s
Scheduled CodeQL #8: by github-advanced-security AI
43s main
main
43s
Disentangle ND annotation and prevention of 'fromHaskell' on functions CI #54: Commit 7f5364a pushed by Ziharrk
26m 58s main
main
26m 58s
Push on main CodeQL #7: by Ziharrk
42s main
main
42s
Increase laziness of (primitive) lazy unification CI #53: Commit cf3c731 pushed by Ziharrk
29m 54s main
main
29m 54s
Push on main CodeQL #6: by Ziharrk
47s main
main
47s
Fix CI .tarignore location CI #52: Commit c82f1f2 pushed by Ziharrk
25m 57s main
main
25m 57s
Push on main CodeQL #5: by Ziharrk
50s main
main
50s
Push on main CodeQL #4: by Ziharrk
59s main
main
59s
Install rlwrap on CI to fix build issue CI #50: Commit 295f56f pushed by Ziharrk
26m 36s main
main
26m 36s
Push on main CodeQL #3: by Ziharrk
48s main
main
48s
Push on main CodeQL #2: by Ziharrk
36s main
main
36s
CodeQL Setup CodeQL #1: by Ziharrk
50s main
main
50s
Use absoulute kmcc binary path to fix REPL CI CI #45: Commit 792d266 pushed by Ziharrk
4m 55s main
main
4m 55s
CI CI #43: by Ziharrk
6m 0s main
main
6m 0s
Optimize CI REPL run CI #42: Commit c6d2073 pushed by Ziharrk
6m 6s main
main
6m 6s
CI CI #41: by Ziharrk
5m 54s main
main
5m 54s