Skip to content

Actions: SophieBosio/contra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

List example hlint #51: Commit d83c14a pushed by SophieBosio
April 30, 2024 13:53 17s main
main
April 30, 2024 13:53 17s
Create ADTs separately (#3) hlint #50: Commit 5dba64e pushed by SophieBosio
April 29, 2024 12:55 15s main
main
April 29, 2024 12:55 15s
Create ADTs separately (#3) tests #28: Commit 5dba64e pushed by SophieBosio
April 29, 2024 12:55 9m 3s main
main
April 29, 2024 12:55 9m 3s
Create ADTs separately hlint #49: Pull request #3 opened by SophieBosio
April 29, 2024 12:54 18s separate-SADTs
separate-SADTs
April 29, 2024 12:54 18s
Create ADTs separately tests #27: Pull request #3 opened by SophieBosio
April 29, 2024 12:54 8m 30s separate-SADTs
separate-SADTs
April 29, 2024 12:54 8m 30s
Reworking examples sligtly tests #26: Commit 758548a pushed by SophieBosio
April 29, 2024 12:53 8m 27s main
main
April 29, 2024 12:53 8m 27s
Reworking examples sligtly hlint #48: Commit 758548a pushed by SophieBosio
April 29, 2024 12:53 20s main
main
April 29, 2024 12:53 20s
Fix tests hlint #47: Commit 87c4419 pushed by SophieBosio
April 24, 2024 09:31 21s main
main
April 24, 2024 09:31 21s
Fix tests tests #25: Commit 87c4419 pushed by SophieBosio
April 24, 2024 09:31 8m 43s main
main
April 24, 2024 09:31 8m 43s
Updated all descriptions tests #24: Commit f405627 pushed by SophieBosio
April 22, 2024 20:47 9m 0s main
main
April 22, 2024 20:47 9m 0s
Updated all descriptions hlint #46: Commit f405627 pushed by SophieBosio
April 22, 2024 20:47 17s main
main
April 22, 2024 20:47 17s
Add some examples: Congruence and ill-typed property tests #23: Commit 4b7ace9 pushed by SophieBosio
April 20, 2024 17:53 8m 50s main
main
April 20, 2024 17:53 8m 50s
Add some examples: Congruence and ill-typed property hlint #45: Commit 4b7ace9 pushed by SophieBosio
April 20, 2024 17:53 20s main
main
April 20, 2024 17:53 20s
Rename type 'Args' -> 'Tuple' hlint #44: Commit 0eca9fe pushed by SophieBosio
April 17, 2024 12:19 16s main
main
April 17, 2024 12:19 16s
Rename type 'Args' -> 'Tuple' tests #22: Commit 0eca9fe pushed by SophieBosio
April 17, 2024 12:19 8m 55s main
main
April 17, 2024 12:19 8m 55s
Cleanup tests #21: Commit 8fbe4a7 pushed by SophieBosio
April 16, 2024 13:14 8m 46s main
main
April 16, 2024 13:14 8m 46s
Cleanup hlint #43: Commit 8fbe4a7 pushed by SophieBosio
April 16, 2024 13:14 22s main
main
April 16, 2024 13:14 22s
Clean up before merge tests #20: Commit 3378632 pushed by SophieBosio
April 9, 2024 08:51 8m 53s main
main
April 9, 2024 08:51 8m 53s
Clean up before merge hlint #42: Commit 3378632 pushed by SophieBosio
April 9, 2024 08:51 16s main
main
April 9, 2024 08:51 16s
Consistency: 'p' -> 'program', system messages start with '-*-' hlint #41: Commit fd1b7e7 pushed by SophieBosio
April 7, 2024 15:05 21s main
main
April 7, 2024 15:05 21s
Consistency: 'p' -> 'program', system messages start with '-*-' tests #19: Commit fd1b7e7 pushed by SophieBosio
April 7, 2024 15:05 8m 53s main
main
April 7, 2024 15:05 8m 53s
Comments with clarification tests #18: Commit 81580c4 pushed by SophieBosio
April 7, 2024 14:27 8m 44s main
main
April 7, 2024 14:27 8m 44s
Comments with clarification hlint #40: Commit 81580c4 pushed by SophieBosio
April 7, 2024 14:27 15s main
main
April 7, 2024 14:27 15s
Update README with CLI instructions hlint #39: Commit d0f8245 pushed by SophieBosio
April 4, 2024 09:54 22s main
main
April 4, 2024 09:54 22s
Update README with CLI instructions tests #17: Commit d0f8245 pushed by SophieBosio
April 4, 2024 09:54 8m 39s main
main
April 4, 2024 09:54 8m 39s