Skip to content

Actions: axiomed/http

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of https://github.com/axiomed/Http.lean CI #37: Commit 1a0e136 pushed by algebraic-dev
July 2, 2024 20:41 35s main
main
July 2, 2024 20:41 35s
fix: had to use because of MacOS. CI #36: Commit db7ce60 pushed by algebraic-dev
July 1, 2024 17:46 30s main
main
July 1, 2024 17:46 30s
fix: problem with URI, for some reason it was upper cased in github CI #35: Commit 0c289d9 pushed by algebraic-dev
July 1, 2024 17:25 31s main
main
July 1, 2024 17:25 31s
fix: problems with some files that does not work CI #34: Commit 0218337 pushed by algebraic-dev
July 1, 2024 17:19 36s main
main
July 1, 2024 17:19 36s
feat: add client and fix a bunch of things CI #33: Commit bd97159 pushed by algebraic-dev
June 28, 2024 20:41 33s main
main
June 28, 2024 20:41 33s
feat: add keep-alive headers and fix bug with writer CI #32: Commit 723ea89 pushed by algebraic-dev
June 14, 2024 22:07 32s main
main
June 14, 2024 22:07 32s
chore: add instructions CI #31: Commit 64b636f pushed by algebraic-dev
June 13, 2024 18:45 36s main
main
June 13, 2024 18:45 36s
chore: fix instructions CI #30: Commit d570587 pushed by algebraic-dev
June 13, 2024 18:44 34s main
main
June 13, 2024 18:44 34s
chore: fix readme CI #29: Commit 55ed373 pushed by algebraic-dev
June 13, 2024 18:42 33s main
main
June 13, 2024 18:42 33s
chore: update readme CI #28: Commit 8a2f533 pushed by algebraic-dev
June 13, 2024 18:40 35s main
main
June 13, 2024 18:40 35s
refactor: x.x CI #27: Commit 30ffae7 pushed by algebraic-dev
June 10, 2024 20:03 37s refactor
refactor
June 10, 2024 20:03 37s
fix: small fixes CI #26: Commit a716dec pushed by algebraic-dev
June 10, 2024 15:15 43s main
main
June 10, 2024 15:15 43s
fix: imports with wrong case that lead to missing symbol called CI #25: Commit 5f60e50 pushed by algebraic-dev
June 10, 2024 14:38 39s main
main
June 10, 2024 14:38 39s
refactor: making things strict CI #24: Commit 440b6ce pushed by algebraic-dev
June 10, 2024 14:30 38s main
main
June 10, 2024 14:30 38s
refactor: big refactor for making things strict CI #23: Commit e504b8d pushed by algebraic-dev
June 10, 2024 14:30 34s main
main
June 10, 2024 14:30 34s
feat: add a bunch of structures CI #22: Commit 829cb10 pushed by algebraic-dev
June 8, 2024 22:36 37s main
main
June 8, 2024 22:36 37s
fix: small chunk fixes and grammar corrections CI #21: Commit 6dd7c88 pushed by algebraic-dev
June 4, 2024 04:07 33s main
main
June 4, 2024 04:07 33s
feat: start implementing dhashmaps for headers CI #20: Commit e24bb0c pushed by algebraic-dev
June 4, 2024 03:14 34s main
main
June 4, 2024 03:14 34s
chore: fix workflows CI #19: Commit 15501d2 pushed by algebraic-dev
May 31, 2024 20:00 38s main
main
May 31, 2024 20:00 38s
fix: problem with chunked encoding CI #18: Commit 81af335 pushed by algebraic-dev
May 31, 2024 17:51 31s main
main
May 31, 2024 17:51 31s
fix: small problems with buffer CI #17: Commit 70367f8 pushed by algebraic-dev
May 31, 2024 17:35 30s main
main
May 31, 2024 17:35 30s
fix: problem that was not reseting the parser CI #16: Commit e49a739 pushed by algebraic-dev
May 31, 2024 17:31 26s main
main
May 31, 2024 17:31 26s
feat: add connection back CI #15: Commit 3417229 pushed by algebraic-dev
May 28, 2024 14:39 30s main
main
May 28, 2024 14:39 30s
feat: added a bunch of structures and data CI #14: Commit 819fe49 pushed by algebraic-dev
May 14, 2024 20:26 30s main
main
May 14, 2024 20:26 30s
feat: fix problems with the parser CI #13: Commit 1250bee pushed by algebraic-dev
May 10, 2024 00:31 27s main
main
May 10, 2024 00:31 27s