Skip to content

Actions: SophieBosio/contra

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README tests #41: Commit 1561a2d pushed by SophieBosio
July 15, 2024 21:15 6m 29s main
main
July 15, 2024 21:15 6m 29s
Update README hlint #63: Commit 1561a2d pushed by SophieBosio
July 15, 2024 21:15 15s main
main
July 15, 2024 21:15 15s
Prettier symbols & messages hlint #62: Commit deaaa0f pushed by SophieBosio
June 10, 2024 21:42 18s main
main
June 10, 2024 21:42 18s
Prettier symbols & messages tests #40: Commit deaaa0f pushed by SophieBosio
June 10, 2024 21:42 6m 31s main
main
June 10, 2024 21:42 6m 31s
Simplify: Just query bindings hlint #61: Commit 32788c9 pushed by SophieBosio
June 10, 2024 11:18 17s main
main
June 10, 2024 11:18 17s
Simplify: Just query bindings tests #39: Commit 32788c9 pushed by SophieBosio
June 10, 2024 11:18 6m 36s main
main
June 10, 2024 11:18 6m 36s
Update README hlint #60: Commit 9ec16bd pushed by SophieBosio
May 14, 2024 20:51 15s main
main
May 14, 2024 20:51 15s
Update README tests #38: Commit 9ec16bd pushed by SophieBosio
May 14, 2024 20:51 8m 30s main
main
May 14, 2024 20:51 8m 30s
Fixed bug: Units aren't printed tests #37: Commit d59ee89 pushed by SophieBosio
May 14, 2024 20:41 8m 49s main
main
May 14, 2024 20:41 8m 49s
Fixed bug: Units aren't printed hlint #59: Commit d59ee89 pushed by SophieBosio
May 14, 2024 20:41 19s main
main
May 14, 2024 20:41 19s
Consolidate examples a bit more tests #36: Commit f27806d pushed by SophieBosio
May 13, 2024 19:04 8m 42s main
main
May 13, 2024 19:04 8m 42s
Consolidate examples a bit more hlint #58: Commit f27806d pushed by SophieBosio
May 13, 2024 19:04 18s main
main
May 13, 2024 19:04 18s
Comply with linter tests #35: Commit e21ae20 pushed by SophieBosio
May 12, 2024 20:36 8m 41s main
main
May 12, 2024 20:36 8m 41s
Comply with linter hlint #57: Commit e21ae20 pushed by SophieBosio
May 12, 2024 20:36 17s main
main
May 12, 2024 20:36 17s
Examples tests #34: Commit 1bf35e5 pushed by SophieBosio
May 12, 2024 20:34 8m 52s main
main
May 12, 2024 20:34 8m 52s
Examples hlint #56: Commit 1bf35e5 pushed by SophieBosio
May 12, 2024 20:34 15s main
main
May 12, 2024 20:34 15s
Comply with linter tests #33: Commit d557d16 pushed by SophieBosio
May 11, 2024 19:29 8m 27s main
main
May 11, 2024 19:29 8m 27s
Comply with linter hlint #55: Commit d557d16 pushed by SophieBosio
May 11, 2024 19:29 16s main
main
May 11, 2024 19:29 16s
Add Symbolic ADTs! (#5) tests #32: Commit 2b78ff5 pushed by SophieBosio
May 7, 2024 10:09 8m 34s main
main
May 7, 2024 10:09 8m 34s
Add Symbolic ADTs! (#5) hlint #54: Commit 2b78ff5 pushed by SophieBosio
May 7, 2024 10:09 14s main
main
May 7, 2024 10:09 14s
Add Symbolic ADTs! hlint #53: Pull request #5 opened by SophieBosio
May 7, 2024 10:08 16s SADTs
SADTs
May 7, 2024 10:08 16s
Add Symbolic ADTs! tests #31: Pull request #5 opened by SophieBosio
May 7, 2024 10:08 9m 12s SADTs
SADTs
May 7, 2024 10:08 9m 12s
Save defs in REPL dynamically! tests #30: Commit 345a3dc pushed by SophieBosio
May 3, 2024 19:20 8m 41s main
main
May 3, 2024 19:20 8m 41s
Save defs in REPL dynamically! hlint #52: Commit 345a3dc pushed by SophieBosio
May 3, 2024 19:20 21s main
main
May 3, 2024 19:20 21s
List example tests #29: Commit d83c14a pushed by SophieBosio
April 30, 2024 13:53 8m 47s main
main
April 30, 2024 13:53 8m 47s