Workflow runs · javaevolved/javaevolved.github.io · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

449 workflow runs

449 workflow runs

Twice-Weekly Social Post Twice-Weekly Social Post #33: Scheduled

27s main

27s

Deploy to GitHub Pages Deploy to GitHub Pages #172: completed by brunoborges

58s

58s

Build Generator JARs Build Generator JARs #54: Scheduled

40s main

40s

Twice-Weekly Social Post Twice-Weekly Social Post #32: Scheduled

15m 4s main

15m 4s

Merge pull request #159 from javaevolved/copilot/fix-predicate-not-issue Deploy to GitHub Pages #171: Commit 453b322 pushed by brunoborges

46s main

46s

Merge pull request #159 from javaevolved/copilot/fix-predicate-not-issue Proof Scripts #11: Commit 453b322 pushed by brunoborges

2m 9s main

2m 9s

Deploy to GitHub Pages Deploy to GitHub Pages #170: completed by brunoborges

1m 5s

1m 5s

Merge pull request #157 from javaevolved/copilot/improve-discoverabil… Build Generator JARs #53: Commit 98ae5da pushed by brunoborges

35s main

35s

Merge pull request #157 from javaevolved/copilot/improve-discoverabil… Deploy to GitHub Pages #169: Commit 98ae5da pushed by brunoborges

57s main

57s

Fix predicate-not modern example to compile on Java 11 Proof Scripts #10: Pull request #159 synchronize by CopilotAI

2m 45s copilot/fix-predicate-not-issue

copilot/fix-predicate-not-issue

2m 45s

Running Copilot cloud agent Copilot cloud agent #102: by CopilotAI

4m 35s copilot/fix-predicate-not-issue

copilot/fix-predicate-not-issue

4m 35s

Twice-Weekly Social Post Twice-Weekly Social Post #31: Scheduled

25s main

25s

Deploy to GitHub Pages Deploy to GitHub Pages #168: completed by brunoborges

58s

58s

Build Generator JARs Build Generator JARs #52: Scheduled

36s main

36s

Twice-Weekly Social Post Twice-Weekly Social Post #30: Scheduled

28s main

28s

Twice-Weekly Social Post Twice-Weekly Social Post #29: Scheduled

29s main

29s

Deploy to GitHub Pages Deploy to GitHub Pages #167: completed by brunoborges

45s

45s

Build Generator JARs Build Generator JARs #51: Scheduled

35s main

35s

Twice-Weekly Social Post Twice-Weekly Social Post #28: Scheduled

24s main

24s

Twice-Weekly Social Post Twice-Weekly Social Post #27: Scheduled

22s main

22s

Deploy to GitHub Pages Deploy to GitHub Pages #166: completed by brunoborges

58s

58s

Build Generator JARs Build Generator JARs #50: Scheduled

35s main

35s

Twice-Weekly Social Post Twice-Weekly Social Post #26: Scheduled

19s main

19s

Twice-Weekly Social Post Twice-Weekly Social Post #25: Scheduled

31s main

31s

Deploy to GitHub Pages Deploy to GitHub Pages #165: completed by brunoborges

49s

49s