Skip to content

Actions: plclub/hs-to-coq

Actions

hs-to-coq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hs-to-coq.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix some proofs for Coq 8.20. hs-to-coq #117: Commit f5e4fa7 pushed by lastland
1m 42s ghc810-coq820
ghc810-coq820
1m 42s
Update the cache action. hs-to-coq #116: Commit 39728de pushed by lastland
16m 50s ghc810-coq820
ghc810-coq820
16m 50s
Update .gitignore. hs-to-coq #115: Commit 6a166eb pushed by lastland
17s ghc810-coq820
ghc810-coq820
17s