Skip to content

Actions: diku-dk/smlfut

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Markup fix. CI #172: Commit b7c5894 pushed by athas
55s main
main
55s
Fix typo. CI #171: Commit 856c2dd pushed by athas
1m 17s main
main
1m 17s
Wordsmithing, CI #170: Commit 8708b61 pushed by athas
1m 55s main
main
1m 55s
Fix typo in docstring. CI #169: Commit e5d289b pushed by athas
59s main
main
59s
Do not treat strings as mutable. CI #168: Commit f5bcdd9 pushed by athas
41s v1.6.4
v1.6.4
41s
Do not treat strings as mutable. CI #167: Commit f5bcdd9 pushed by athas
1m 2s main
main
1m 2s
Bump CI #166: Commit ad4face pushed by athas
38s main
main
38s
Detect use-after-free. CI #165: Commit 58e87fb pushed by athas
32s v1.6.3
v1.6.3
32s
Detect use-after-free. CI #164: Commit 58e87fb pushed by athas
30s main
main
30s
Handle sum types. CI #163: Commit d876456 pushed by athas
48s v1.6.2
v1.6.2
48s
Handle sum types. CI #162: Commit d876456 pushed by athas
52s main
main
52s
Markup fix. CI #161: Commit da70a62 pushed by athas
54s main
main
54s
Add proper support for arrays of opaques. CI #160: Commit 98828db pushed by athas
50s main
main
50s
This is 1.6.2. CI #159: Commit f718e6c pushed by athas
57s main
main
57s
Fix infinite loop. CI #158: Commit 1a431c9 pushed by athas
1m 22s v1.6.1
v1.6.1
1m 22s
Fix infinite loop. CI #157: Commit 1a431c9 pushed by athas
1m 40s main
main
1m 40s