Skip to content

Actions: conal/felix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #15 from jkopanski/24.05 Build #38: Commit 1d380a8 pushed by conal
June 6, 2024 15:42 2m 30s main
main
June 6, 2024 15:42 2m 30s
agda 2.6.4.3 with nixos 24.05 Build #37: Pull request #15 opened by jkopanski
June 6, 2024 14:38 2m 29s jkopanski:24.05
jkopanski:24.05
June 6, 2024 14:38 2m 29s
Merge pull request #13 from jkopanski/function-lift Build #36: Commit 62dcc0f pushed by conal
May 25, 2024 18:00 10m 10s main
main
May 25, 2024 18:00 10m 10s
⇾-Reasoning for convenience Build #35: Commit 9a17e76 pushed by conal
May 25, 2024 17:41 10m 4s main
main
May 25, 2024 17:41 10m 4s
Caching Build #34: Pull request #14 synchronize by jkopanski
April 12, 2024 20:08 18s jkopanski:caching
jkopanski:caching
April 12, 2024 20:08 18s
Caching Build #33: Pull request #14 opened by jkopanski
April 12, 2024 20:02 22s jkopanski:caching
jkopanski:caching
April 12, 2024 20:02 22s
Make sure Felix.Instances.Function.Lift is typechecked Build #32: Pull request #13 opened by jkopanski
April 8, 2024 10:53 10m 5s jkopanski:function-lift
jkopanski:function-lift
April 8, 2024 10:53 10m 5s
Setoid instances Build #31: Pull request #10 synchronize by jkopanski
February 22, 2024 22:04 10m 30s jkopanski:setoid-instances
jkopanski:setoid-instances
February 22, 2024 22:04 10m 30s
Setoid instances Build #30: Pull request #10 synchronize by jkopanski
February 22, 2024 13:29 10m 21s jkopanski:setoid-instances
jkopanski:setoid-instances
February 22, 2024 13:29 10m 21s
Setoid instances Build #29: Pull request #10 synchronize by jkopanski
February 22, 2024 09:29 9m 58s jkopanski:setoid-instances
jkopanski:setoid-instances
February 22, 2024 09:29 9m 58s
Merge pull request #12 from jkopanski/distributive Build #28: Commit 3a336c3 pushed by conal
February 21, 2024 17:41 10m 0s main
main
February 21, 2024 17:41 10m 0s
Distributive Build #27: Pull request #12 opened by jkopanski
February 21, 2024 13:15 10m 24s jkopanski:distributive
jkopanski:distributive
February 21, 2024 13:15 10m 24s
Setoid instances Build #26: Pull request #10 synchronize by jkopanski
February 20, 2024 20:03 9m 53s jkopanski:setoid-instances
jkopanski:setoid-instances
February 20, 2024 20:03 9m 53s
Setoid instances Build #25: Pull request #10 synchronize by jkopanski
February 20, 2024 15:24 10m 3s jkopanski:setoid-instances
jkopanski:setoid-instances
February 20, 2024 15:24 10m 3s
Setoid instances Build #24: Pull request #10 synchronize by jkopanski
February 20, 2024 08:02 10m 33s jkopanski:setoid-instances
jkopanski:setoid-instances
February 20, 2024 08:02 10m 33s
Setoid instances Build #23: Pull request #10 synchronize by jkopanski
February 19, 2024 21:35 10m 7s jkopanski:setoid-instances
jkopanski:setoid-instances
February 19, 2024 21:35 10m 7s
Setoid instances Build #22: Pull request #10 synchronize by jkopanski
February 19, 2024 15:36 10m 5s jkopanski:setoid-instances
jkopanski:setoid-instances
February 19, 2024 15:36 10m 5s
Try out a terser style with multiple ≈-Reasoning modules. Build #21: Commit 36894cf pushed by conal
February 18, 2024 19:29 10m 5s main
main
February 18, 2024 19:29 10m 5s
Merge pull request #9 from jkopanski/agda-2.6.4 Build #20: Commit ac42c5f pushed by conal
February 18, 2024 16:54 10m 4s main
main
February 18, 2024 16:54 10m 4s
Agda 2.6.4 Build #19: Pull request #9 synchronize by jkopanski
February 17, 2024 09:36 10m 12s jkopanski:agda-2.6.4
jkopanski:agda-2.6.4
February 17, 2024 09:36 10m 12s
Agda 2.6.4 Build #18: Pull request #9 synchronize by jkopanski
February 15, 2024 20:36 8m 58s jkopanski:agda-2.6.4
jkopanski:agda-2.6.4
February 15, 2024 20:36 8m 58s
punctuation Build #17: Commit 6df31ea pushed by conal
February 12, 2024 22:20 10m 38s main
main
February 12, 2024 22:20 10m 38s
Drop ring solver import; refine dependencies description. Build #16: Commit 02dd52c pushed by conal
February 12, 2024 19:10 11m 30s main
main
February 12, 2024 19:10 11m 30s
Known to work with Agda 2.6.3 and agda-stdlib commit 93f5c0f81 (Augus… Build #15: Commit 18bcf60 pushed by conal
February 12, 2024 04:01 11m 23s main
main
February 12, 2024 04:01 11m 23s
agda-stdlib (not 2.0); ring solver sanity check Build #14: Commit dc45407 pushed by conal
February 12, 2024 03:58 11m 26s main
main
February 12, 2024 03:58 11m 26s