Skip to content

Actions: Akuli/jou

Actions

.github/workflows/autofix.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
autofix.yml
379 workflow runs
379 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

User-friendly error message for missing main function (#509) .github/workflows/autofix.yml #637: Commit 7c2f683 pushed by Akuli
August 21, 2024 19:32 28s main
main
August 21, 2024 19:32 28s
User-friendly error message for missing main function .github/workflows/autofix.yml #636: Pull request #509 synchronize by littlewhitecloud
August 21, 2024 12:05 1m 29s
August 21, 2024 12:05 1m 29s
User-friendly error message for missing main function .github/workflows/autofix.yml #635: Pull request #509 synchronize by littlewhitecloud
August 20, 2024 14:45 19s
August 20, 2024 14:45 19s
User-friendly error message for missing main function .github/workflows/autofix.yml #634: Pull request #509 synchronize by Akuli
August 17, 2024 22:41 20s
August 17, 2024 22:41 20s
User-friendly error message for missing main function .github/workflows/autofix.yml #633: Pull request #509 synchronize by Akuli
August 17, 2024 21:55 23s
August 17, 2024 21:55 23s
Read assertion from file with offsets .github/workflows/autofix.yml #632: Pull request #513 synchronize by Akuli
July 28, 2024 13:32 19s
July 28, 2024 13:32 19s
Read assertion from file with offsets .github/workflows/autofix.yml #631: Pull request #513 synchronize by Akuli
July 28, 2024 13:23 20s
July 28, 2024 13:23 20s
Read assertion from file with offsets .github/workflows/autofix.yml #630: Pull request #513 synchronize by Akuli
July 28, 2024 13:17 20s
July 28, 2024 13:17 20s
Read assertion from file with offsets .github/workflows/autofix.yml #629: Pull request #513 opened by Akuli
July 28, 2024 13:04 29s
July 28, 2024 13:04 29s
Improve Mathlib (#511) .github/workflows/autofix.yml #628: Commit 6171948 pushed by Akuli
July 21, 2024 18:11 19s main
main
July 21, 2024 18:11 19s
Get assertion improvement .github/workflows/autofix.yml #627: Pull request #512 synchronize by littlewhitecloud
July 21, 2024 13:30 21s
July 21, 2024 13:30 21s
Get assertion improvement .github/workflows/autofix.yml #626: Pull request #512 opened by littlewhitecloud
July 21, 2024 13:03 27s
July 21, 2024 13:03 27s
Improve Mathlib .github/workflows/autofix.yml #625: Pull request #511 synchronize by Akuli
July 21, 2024 10:50 16s
July 21, 2024 10:50 16s
Improve Mathlib .github/workflows/autofix.yml #624: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 06:01 2m 0s
July 21, 2024 06:01 2m 0s
Improve Mathlib .github/workflows/autofix.yml #623: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:59 20s
July 21, 2024 05:59 20s
Improve Mathlib .github/workflows/autofix.yml #622: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:52 20s
July 21, 2024 05:52 20s
Improve Mathlib .github/workflows/autofix.yml #621: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:46 15s
July 21, 2024 05:46 15s
Improve Mathlib .github/workflows/autofix.yml #620: Pull request #511 opened by littlewhitecloud
July 18, 2024 13:12 32s
July 18, 2024 13:12 32s
Improve Mathlib .github/workflows/autofix.yml #619: Pull request #510 opened by littlewhitecloud
July 18, 2024 12:58 24s
July 18, 2024 12:58 24s
User-friendly error message for missing main function .github/workflows/autofix.yml #618: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 10m 17s
July 13, 2024 14:27 10m 17s
User-friendly error message for missing main function .github/workflows/autofix.yml #617: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 38s
July 13, 2024 14:27 38s
User-friendly error message for missing main function .github/workflows/autofix.yml #616: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 21s
July 13, 2024 14:27 21s
User-friendly error message for missing main function .github/workflows/autofix.yml #615: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 07:47 16s
July 13, 2024 07:47 16s
User-friendly error message for missing main function .github/workflows/autofix.yml #614: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 07:46 19s
July 13, 2024 07:46 19s
User-friendly error message for missing main function .github/workflows/autofix.yml #613: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 05:05 59s
July 13, 2024 05:05 59s