Skip to content

Actions: leanprover/fp-lean

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
Rephrase an example due to C# having gotten better in version 11 CI #349: Commit af634d3 pushed by david-christiansen
October 3, 2023 08:35 1m 14s master
master
October 3, 2023 08:35 1m 14s
Fix some minor mistakes CI #348: Commit c0c9653 pushed by david-christiansen
October 3, 2023 07:47 1m 41s master
master
October 3, 2023 07:47 1m 41s
Add note about JSON string escape import CI #347: Commit 8b7613f pushed by david-christiansen
October 3, 2023 07:41 1m 16s master
master
October 3, 2023 07:41 1m 16s
Fix incorrect constructor name CI #346: Commit 74e76aa pushed by david-christiansen
October 3, 2023 07:34 1m 20s master
master
October 3, 2023 07:34 1m 20s