Skip to content

Actions: unisonweb/unison

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
existentializeArrows: preserve nested foralls ci dispatch #201: Commit c9bf84d pushed by runarorama
13s prototype/implicits-with-rank-n
prototype/implicits-with-rank-n
13s
Merge fix/rank-n-record-accessors into prototype/implicits-rfc ci dispatch #200: Commit 77da8fb pushed by runarorama
13s prototype/implicits-with-rank-n
prototype/implicits-with-rank-n
13s
Fix record accessors for higher-rank field types ci dispatch #199: Pull request #6239 synchronize by runarorama
5s fix/rank-n-record-accessors
fix/rank-n-record-accessors
5s
Fix record accessors for higher-rank field types Contributor signed CONTRIBUTORS.markdown #2326: Pull request #6239 synchronize by runarorama
8s fix/rank-n-record-accessors
fix/rank-n-record-accessors
8s
Fix record accessors for higher-rank field types format #1190: Pull request #6239 synchronize by runarorama
53s fix/rank-n-record-accessors
fix/rank-n-record-accessors
53s
Record passing transcripts proof ci dispatch #198: Commit cbd4cd0 pushed by runarorama
16s fix/rank-n-record-accessors
fix/rank-n-record-accessors
16s
Fix record accessors for higher-rank field types ci dispatch #197: Pull request #6239 synchronize by runarorama
8s fix/rank-n-record-accessors
fix/rank-n-record-accessors
8s
Fix record accessors for higher-rank field types format #1189: Pull request #6239 synchronize by runarorama
23s fix/rank-n-record-accessors
fix/rank-n-record-accessors
23s
Fix record accessors for higher-rank field types Contributor signed CONTRIBUTORS.markdown #2325: Pull request #6239 synchronize by runarorama
7s fix/rank-n-record-accessors
fix/rank-n-record-accessors
7s
Record passing tests proof; regen fix-pattern-capture output ci dispatch #196: Commit e745bdd pushed by runarorama
14s fix/rank-n-record-accessors
fix/rank-n-record-accessors
14s
Fix record accessors for higher-rank field types format #1188: Pull request #6239 opened by runarorama
31s fix/rank-n-record-accessors
fix/rank-n-record-accessors
31s
Fix record accessors for higher-rank field types ci dispatch #195: Pull request #6239 opened by runarorama
7s fix/rank-n-record-accessors
fix/rank-n-record-accessors
7s
Fix record accessors for higher-rank field types Contributor signed CONTRIBUTORS.markdown #2324: Pull request #6239 opened by runarorama
10s fix/rank-n-record-accessors
fix/rank-n-record-accessors
10s
Fix record accessors for higher-rank field types ci dispatch #194: Commit 868fd4a pushed by runarorama
17s fix/rank-n-record-accessors
fix/rank-n-record-accessors
17s
Implicit parameters for Unison — RFC + working prototype ci dispatch #193: Pull request #6238 synchronize by runarorama
6s prototype/implicits-rfc
prototype/implicits-rfc
6s
Implicit parameters for Unison — RFC + working prototype format #1187: Pull request #6238 synchronize by runarorama
32s prototype/implicits-rfc
prototype/implicits-rfc
32s
Implicit parameters for Unison — RFC + working prototype Contributor signed CONTRIBUTORS.markdown #2323: Pull request #6238 synchronize by runarorama
7s prototype/implicits-rfc
prototype/implicits-rfc
7s
Revert candidate-outer flex in matchHead ci dispatch #192: Commit b7bb934 pushed by runarorama
14s prototype/implicits-rfc
prototype/implicits-rfc
14s
Implicit parameters for Unison — RFC + working prototype Cabal #448: Pull request #6238 synchronize by runarorama
7m 55s
7m 55s
Implicit parameters for Unison — RFC + working prototype ci dispatch #191: Pull request #6238 synchronize by runarorama
5s prototype/implicits-rfc
prototype/implicits-rfc
5s
Implicit parameters for Unison — RFC + working prototype format #1186: Pull request #6238 synchronize by runarorama
1m 12s prototype/implicits-rfc
prototype/implicits-rfc
1m 12s
Implicit parameters for Unison — RFC + working prototype Contributor signed CONTRIBUTORS.markdown #2322: Pull request #6238 synchronize by runarorama
9s prototype/implicits-rfc
prototype/implicits-rfc
9s
Implicit parameters for Unison — RFC + working prototype Cabal #447: Pull request #6238 synchronize by runarorama
8m 24s
8m 24s
Fix self-recursive =>-typed functions ci dispatch #190: Commit 4901a34 pushed by runarorama
19s prototype/implicits-rfc
prototype/implicits-rfc
19s
Implicit parameters for Unison — RFC + working prototype format #1185: Pull request #6238 synchronize by runarorama
32s prototype/implicits-rfc
prototype/implicits-rfc
32s