Skip to content

Actions: leanprover/fp-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fixes for fp-lean Close Pull Request #4: Pull request #158 opened by turibe
May 8, 2024 17:07 12s
May 8, 2024 17:07 12s
Link gardening CI #375: Commit 7eefe73 pushed by david-christiansen
February 6, 2024 09:43 1m 39s release-2024-01-5
release-2024-01-5
February 6, 2024 09:43 1m 39s
Link gardening CI #374: Commit 7eefe73 pushed by david-christiansen
February 6, 2024 09:43 1m 28s master
master
February 6, 2024 09:43 1m 28s
Further link gardening CI #373: Commit 6c534da pushed by david-christiansen
February 6, 2024 09:28 2m 40s release-2024-01-4
release-2024-01-4
February 6, 2024 09:28 2m 40s
Further link gardening CI #372: Commit 6c534da pushed by david-christiansen
February 6, 2024 09:28 2m 49s master
master
February 6, 2024 09:28 2m 49s
doc: Typos and corrections Close Pull Request #3: Pull request #149 opened by hmonroe
January 29, 2024 15:50 14s
January 29, 2024 15:50 14s
Link gardening CI #370: Commit 2b8338e pushed by david-christiansen
January 25, 2024 14:46 1m 40s release-2024-01-3
release-2024-01-3
January 25, 2024 14:46 1m 40s
Link gardening CI #369: Commit 2b8338e pushed by david-christiansen
January 25, 2024 14:45 1m 36s master
master
January 25, 2024 14:45 1m 36s
Case sensitivity of HTML IDs CI #368: Commit 89e4004 pushed by david-christiansen
January 24, 2024 15:36 1m 36s release-2024-01-2
release-2024-01-2
January 24, 2024 15:36 1m 36s
Case sensitivity of HTML IDs CI #367: Commit 89e4004 pushed by david-christiansen
January 24, 2024 15:36 1m 29s master
master
January 24, 2024 15:36 1m 29s
Fix mistake in new year CI #366: Commit 51fd4a5 pushed by david-christiansen
January 24, 2024 15:28 2m 58s master
master
January 24, 2024 15:28 2m 58s
Fix the year of the upcoming release in Release history Close Pull Request #2: Pull request #148 opened by azolotko
January 10, 2024 12:30 11s
January 10, 2024 12:30 11s
YAML syntax fix CI #364: Commit 9cab0f6 pushed by david-christiansen
January 4, 2024 12:33 1m 24s master
master
January 4, 2024 12:33 1m 24s
Add Netlify deployment CI #363: Commit 250772b pushed by david-christiansen
January 4, 2024 12:31 Failure master
master
January 4, 2024 12:31 Failure
Note for release CI #362: Commit 0152f5d pushed by david-christiansen
January 3, 2024 11:11 1m 59s release-2024-01
release-2024-01
January 3, 2024 11:11 1m 59s
Test PR Close Pull Request #1: Pull request #144 opened by david-christiansen
January 3, 2024 11:10 40s
January 3, 2024 11:10 40s
Merge pull request #143 from leanprover/autoclose CI #361: Commit 7d75bcb pushed by david-christiansen
January 3, 2024 11:09 1m 31s master
master
January 3, 2024 11:09 1m 31s
Add a bot to close PRs automatically CI #360: Pull request #143 opened by david-christiansen
January 3, 2024 11:03 5m 33s autoclose
autoclose
January 3, 2024 11:03 5m 33s
Note for release CI #359: Commit 0152f5d pushed by david-christiansen
January 3, 2024 10:51 17m 8s master
master
January 3, 2024 10:51 17m 8s
Fix regression in example code CI #358: Commit 04c9f8f pushed by david-christiansen
January 3, 2024 10:50 17m 59s master
master
January 3, 2024 10:50 17m 59s
Fix author bio CI #354: Commit 6062437 pushed by david-christiansen
October 3, 2023 08:41 1m 53s release-2023-10-2
release-2023-10-2
October 3, 2023 08:41 1m 53s
Fix author bio CI #353: Commit 6062437 pushed by david-christiansen
October 3, 2023 08:40 1m 52s master
master
October 3, 2023 08:40 1m 52s
Update release history for October 2023 CI #352: Commit 533fcaf pushed by david-christiansen
October 3, 2023 08:37 2m 2s release-2023-10
release-2023-10
October 3, 2023 08:37 2m 2s
Update release history for October 2023 CI #351: Commit 533fcaf pushed by david-christiansen
October 3, 2023 08:37 1m 48s master
master
October 3, 2023 08:37 1m 48s
Add missing file from earlier commit CI #350: Commit 432ffaa pushed by david-christiansen
October 3, 2023 08:35 1m 44s master
master
October 3, 2023 08:35 1m 44s