Skip to content

Actions: plclub/hs-to-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #113: Pull request #205 synchronize by nosewings
August 27, 2024 20:05 14m 55s ghc810
ghc810
August 27, 2024 20:05 14m 55s
Check-in generated files hs-to-coq #112: Commit a1bcedc pushed by nosewings
August 27, 2024 20:05 14m 19s ghc810
ghc810
August 27, 2024 20:05 14m 19s
[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #111: Pull request #205 synchronize by nosewings
August 22, 2024 01:28 6h 24m 40s ghc810
ghc810
August 22, 2024 01:28 6h 24m 40s
hs-to-coq hs-to-coq #110: by nosewings
August 22, 2024 01:28 6h 24m 25s ghc810
ghc810
August 22, 2024 01:28 6h 24m 25s
[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #109: Pull request #205 synchronize by nosewings
July 25, 2024 03:12 6h 2m 36s ghc810
ghc810
July 25, 2024 03:12 6h 2m 36s
Avoid representation polymorphism in $ and $! hs-to-coq #108: Commit b0045b5 pushed by nosewings
July 25, 2024 03:12 6h 2m 51s ghc810
ghc810
July 25, 2024 03:12 6h 2m 51s
[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #107: Pull request #205 synchronize by nosewings
July 25, 2024 02:28 6h 2m 4s ghc810
ghc810
July 25, 2024 02:28 6h 2m 4s
Fix last commit hs-to-coq #106: Commit ef11afa pushed by nosewings
July 25, 2024 02:28 6h 1m 13s ghc810
ghc810
July 25, 2024 02:28 6h 1m 13s
[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #105: Pull request #205 synchronize by nosewings
July 25, 2024 02:06 6h 1m 19s ghc810
ghc810
July 25, 2024 02:06 6h 1m 19s
Merge GHC.Maybe into GHC.Base hs-to-coq #104: Commit 597d581 pushed by nosewings
July 25, 2024 02:06 6h 1m 15s ghc810
ghc810
July 25, 2024 02:06 6h 1m 15s
[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #103: Pull request #205 synchronize by nosewings
July 17, 2024 20:21 6h 24m 52s ghc810
ghc810
July 17, 2024 20:21 6h 24m 52s
Fix some instance orders hs-to-coq #102: Commit c92b6be pushed by nosewings
July 17, 2024 20:21 6h 24m 49s ghc810
ghc810
July 17, 2024 20:21 6h 24m 49s
[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #101: Pull request #205 synchronize by nosewings
June 25, 2024 20:46 6h 22m 40s ghc810
ghc810
June 25, 2024 20:46 6h 22m 40s
Add GHC.Maybe edits in tests hs-to-coq #100: Commit b48f979 pushed by nosewings
June 25, 2024 20:46 6h 23m 7s ghc810
ghc810
June 25, 2024 20:46 6h 23m 7s
WIP on Polymorphic Task. hs-to-coq #99: Commit 8d9adc6 pushed by hypnoticOxbow
April 9, 2024 22:35 38m 57s examples-build-systems-ala-carte
examples-build-systems-ala-carte
April 9, 2024 22:35 38m 57s
Experimentation with polymorphic task definition. hs-to-coq #98: Commit 79d84d8 pushed by hypnoticOxbow
April 9, 2024 22:30 22m 35s examples-build-systems-ala-carte
examples-build-systems-ala-carte
April 9, 2024 22:30 22m 35s
More attempts at implementations, none worked. hs-to-coq #97: Commit d8d88d9 pushed by hypnoticOxbow
March 29, 2024 22:53 19m 4s examples-build-systems-ala-carte
examples-build-systems-ala-carte
March 29, 2024 22:53 19m 4s
Preliminary scan of Build/Task/Monad.v hs-to-coq #96: Commit 6bb57fd pushed by hypnoticOxbow
March 29, 2024 08:23 19m 54s examples-build-systems-ala-carte
examples-build-systems-ala-carte
March 29, 2024 08:23 19m 54s
Makefile was initially gitignored, readding. hs-to-coq #95: Commit 640fd87 pushed by hypnoticOxbow
March 28, 2024 08:55 19m 48s examples-build-systems-ala-carte
examples-build-systems-ala-carte
March 28, 2024 08:55 19m 48s
Switches build-systems-ala-carte to use my fork. hs-to-coq #94: Commit c93fcb6 pushed by hypnoticOxbow
March 28, 2024 08:52 19m 44s examples-build-systems-ala-carte
examples-build-systems-ala-carte
March 28, 2024 08:52 19m 44s
Adds WIP of build-systems-ala-carte example. hs-to-coq #93: Commit b456200 pushed by hypnoticOxbow
March 28, 2024 06:10 39m 1s examples-build-systems-ala-carte
examples-build-systems-ala-carte
March 28, 2024 06:10 39m 1s
Adds WIP of build-systems-ala-carte example. hs-to-coq #92: Commit b1adaa1 pushed by hypnoticOxbow
March 28, 2024 05:59 41m 17s examples-build-systems-ala-carte
examples-build-systems-ala-carte
March 28, 2024 05:59 41m 17s
Adds support for nix using flakes. hs-to-coq #91: Commit 6e686c2 pushed by hypnoticOxbow
March 28, 2024 05:23 41m 21s nix-with-flake
nix-with-flake
March 28, 2024 05:23 41m 21s
[WIP] migrating to GHC 8.10 and Coq 8.18. hs-to-coq #90: Pull request #205 opened by lastland
January 30, 2024 18:47 6h 21m 54s ghc810
ghc810
January 30, 2024 18:47 6h 21m 54s
WIP migrating to GHC 8.10 and Coq 8.18. hs-to-coq #89: Commit 466f702 pushed by lastland
January 30, 2024 18:39 6h 22m 13s ghc810
ghc810
January 30, 2024 18:39 6h 22m 13s