Skip to content

Actions: KonjacSource/ShiTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor!
Haskell CI #23: Commit d634777 pushed by KonjacSource
October 4, 2024 11:59 3m 41s main
October 4, 2024 11:59 3m 41s
Refactor!
Haskell CI #22: Commit 53d3782 pushed by KonjacSource
October 4, 2024 06:53 4m 0s main
October 4, 2024 06:53 4m 0s
Refactor!
Haskell CI #21: Commit 043fc45 pushed by KonjacSource
October 4, 2024 06:52 3m 48s main
October 4, 2024 06:52 3m 48s
update readme
Haskell CI #20: Commit 913ee22 pushed by KonjacSource
September 22, 2024 19:37 3m 34s main
September 22, 2024 19:37 3m 34s
update readme
Haskell CI #19: Commit 1291902 pushed by KonjacSource
September 22, 2024 18:06 3m 35s main
September 22, 2024 18:06 3m 35s
REPL
Haskell CI #18: Commit 701f3a3 pushed by KonjacSource
September 13, 2024 08:54 3m 55s main
September 13, 2024 08:54 3m 55s
REPL
Haskell CI #17: Commit f6586ab pushed by KonjacSource
September 11, 2024 01:11 3m 47s main
September 11, 2024 01:11 3m 47s
REPL
Haskell CI #16: Commit 0ade168 pushed by KonjacSource
September 10, 2024 16:14 3m 41s main
September 10, 2024 16:14 3m 41s
REPL
Haskell CI #15: Commit 32bcf2b pushed by KonjacSource
September 10, 2024 16:13 3m 49s main
September 10, 2024 16:13 3m 49s
UpdateTest
Haskell CI #14: Commit 720712e pushed by KonjacSource
September 10, 2024 10:03 3m 46s main
September 10, 2024 10:03 3m 46s
Try HoTT
Haskell CI #13: Commit 2317890 pushed by KonjacSource
September 9, 2024 19:08 4m 17s main
September 9, 2024 19:08 4m 17s
unmatchable, axiom
Haskell CI #12: Commit b17bbaf pushed by KonjacSource
September 9, 2024 08:12 3m 39s main
September 9, 2024 08:12 3m 39s
unmatchable, axiom
Haskell CI #11: Commit 097954a pushed by KonjacSource
September 9, 2024 08:11 4m 14s main
September 9, 2024 08:11 4m 14s
HIT (no boundary check yet)
Haskell CI #10: Commit 917afd8 pushed by KonjacSource
September 8, 2024 19:10 3m 41s main
September 8, 2024 19:10 3m 41s
HIT (no boundary check yet)
Haskell CI #9: Commit 9f91620 pushed by KonjacSource
September 8, 2024 19:08 3m 36s main
September 8, 2024 19:08 3m 36s
HIT (no boundary check yet)
Haskell CI #8: Commit ee2bf2b pushed by KonjacSource
September 8, 2024 19:04 3m 41s main
September 8, 2024 19:04 3m 41s
HIT (no boundary check yet)
Haskell CI #7: Commit f35985e pushed by KonjacSource
September 8, 2024 19:01 3m 47s main
September 8, 2024 19:01 3m 47s
HIT (without overlapping check))
Haskell CI #6: Commit 9b12472 pushed by KonjacSource
September 7, 2024 19:00 3m 50s main
September 7, 2024 19:00 3m 50s
action
Haskell CI #5: Commit d0ff391 pushed by KonjacSource
September 6, 2024 15:34 3m 43s main
September 6, 2024 15:34 3m 43s
action
Haskell CI #4: Commit f5e5d63 pushed by KonjacSource
September 6, 2024 15:33 17s main
September 6, 2024 15:33 17s
Update haskell.yml
Haskell CI #3: Commit 31b6374 pushed by KonjacSource
September 6, 2024 15:25 13s main
September 6, 2024 15:25 13s
action
Haskell CI #2: Commit 3e73f59 pushed by KonjacSource
September 6, 2024 15:19 16s main
September 6, 2024 15:19 16s
Create haskell.yml
Haskell CI #1: Commit 9c790bb pushed by KonjacSource
September 6, 2024 15:05 1m 24s main
September 6, 2024 15:05 1m 24s