Skip to content

Actions: FormalizedFormalLogic/Book

Actions

Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo about Con_T Check #19: Pull request #10 opened by SnO2WMaN
November 10, 2024 13:31 17s SnO2WMaN/issue9
SnO2WMaN/issue9
November 10, 2024 13:31 17s
Bump lycheeverse/lychee-action from 1.10.0 to 2.0.2 Check #18: Pull request #8 opened by dependabot bot
October 21, 2024 06:33 21s dependabot/github_actions/lycheeverse/lychee-action-2.0.2
dependabot/github_actions/lycheeverse/lychee-action-2.0.2
October 21, 2024 06:33 21s
Bump lycheeverse/lychee-action from 1.10.0 to 2.0.1 Check #17: Pull request #7 opened by dependabot bot
October 14, 2024 06:26 1m 14s dependabot/github_actions/lycheeverse/lychee-action-2.0.1
dependabot/github_actions/lycheeverse/lychee-action-2.0.1
October 14, 2024 06:26 1m 14s
rename Check #16: Commit 2ea2d32 pushed by iehality
September 23, 2024 17:01 16s main
main
September 23, 2024 17:01 16s
refactor Check #15: Commit 3bc783a pushed by iehality
September 14, 2024 17:16 14s main
main
September 14, 2024 17:16 14s
link fix Check #14: Commit e1d33a5 pushed by iehality
September 14, 2024 17:01 18s main
main
September 14, 2024 17:01 18s
G1 Check #13: Commit 5cdd3b6 pushed by iehality
September 14, 2024 16:56 38s main
main
September 14, 2024 16:56 38s
Fix typos (#6) Check #12: Commit 2e761a2 pushed by SnO2WMaN
September 12, 2024 12:46 18s main
main
September 12, 2024 12:46 18s
goedel2 wip Check #11: Commit ef91953 pushed by iehality
September 10, 2024 07:03 15s main
main
September 10, 2024 07:03 15s
G2 Check #10: Commit c1cd584 pushed by iehality
September 4, 2024 09:25 19s main
main
September 4, 2024 09:25 19s
Fix typos Check #9: Pull request #6 opened by pitmonticone
August 31, 2024 20:17 21s pitmonticone:fix-typos
pitmonticone:fix-typos
August 31, 2024 20:17 21s
fix Check #8: Commit 61719af pushed by iehality
August 16, 2024 17:22 18s main
main
August 16, 2024 17:22 18s
add Arithmetization import graph Check #7: Commit d67f6e1 pushed by iehality
August 16, 2024 17:15 17s main
main
August 16, 2024 17:15 17s
fix: Link broken in Arithmetics Check #6: Commit f90bfb0 pushed by SnO2WMaN
July 26, 2024 16:57 21s main
main
July 26, 2024 16:57 21s
ci: Fix job name Check #5: Commit 8f509d5 pushed by SnO2WMaN
July 26, 2024 16:53 17s main
main
July 26, 2024 16:53 17s
chore: Fix README link Check #4: Pull request #4 opened by SnO2WMaN
July 26, 2024 16:51 14s fix-readme-link
fix-readme-link
July 26, 2024 16:51 14s
docs: Fix links (#3) Check #3: Commit f142240 pushed by SnO2WMaN
July 26, 2024 16:49 17s main
main
July 26, 2024 16:49 17s
docs: Fix links Check #2: Pull request #3 synchronize by SnO2WMaN
July 26, 2024 16:47 18s rewrite-links
rewrite-links
July 26, 2024 16:47 18s
docs: Fix links Check #1: Pull request #3 opened by SnO2WMaN
July 26, 2024 16:29 18s rewrite-links
rewrite-links
July 26, 2024 16:29 18s