Skip to content

Actions: leanprover/fp-lean

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
October 3, 2023 08:35 1m 44s