Skip to content

Actions: SophieBosio/contra

Actions

tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yaml
41 workflow runs
41 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
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 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 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
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
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
Examples tests #34: Commit 1bf35e5 pushed by SophieBosio
May 12, 2024 20:34 8m 52s main
main
May 12, 2024 20:34 8m 52s
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
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! 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
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
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 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
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
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
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
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
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
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