Skip to content

Actions: SophieBosio/contra

Actions

hlint

Actions

Loading...

Show workflow options

Create status badge

hlint.yaml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
Update README hlint #60: Commit 9ec16bd pushed by SophieBosio
May 14, 2024 20:51 15s main
main
May 14, 2024 20:51 15s
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 hlint #58: Commit f27806d pushed by SophieBosio
May 13, 2024 19:04 18s main
main
May 13, 2024 19:04 18s
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 hlint #56: Commit 1bf35e5 pushed by SophieBosio
May 12, 2024 20:34 15s main
main
May 12, 2024 20:34 15s
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) 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
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 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 hlint #49: Pull request #3 opened by SophieBosio
April 29, 2024 12:54 18s separate-SADTs
separate-SADTs
April 29, 2024 12:54 18s
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
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 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
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 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
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