Skip to content

Actions: ohenley/awesome-ada

Actions

Check Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #131 from bracke/patch-1 Check Lint #131: Commit 5c8ff70 pushed by mgrojo
May 22, 2024 18:47 40s master
master
May 22, 2024 18:47 40s
Added Ada 2022 Reference Card Check Lint #130: Pull request #131 synchronize by mgrojo
May 22, 2024 18:46 42s patch-1
patch-1
May 22, 2024 18:46 42s
Added Ada 2022 Reference Card Check Lint #129: Pull request #131 opened by bracke
May 20, 2024 13:30 40s patch-1
patch-1
May 20, 2024 13:30 40s
Check Lint Check Lint #128: Scheduled
May 19, 2024 00:16 40s master
master
May 19, 2024 00:16 40s
Check Lint Check Lint #127: Scheduled
May 12, 2024 00:16 48s master
master
May 12, 2024 00:16 48s
Check Lint Check Lint #126: Scheduled
May 5, 2024 00:16 46s master
master
May 5, 2024 00:16 46s
Merge pull request #130 from ohenley/mgrojo-delete-gnatcoll-scripts-s… Check Lint #125: Commit 7860e03 pushed by ohenley
May 2, 2024 17:56 1m 52s master
master
May 2, 2024 17:56 1m 52s
Check Lint Check Lint #124: Scheduled
April 28, 2024 00:16 53s master
master
April 28, 2024 00:16 53s
Check Lint Check Lint #123: Scheduled
April 21, 2024 00:16 51s master
master
April 21, 2024 00:16 51s
Check Lint Check Lint #122: Scheduled
April 14, 2024 00:18 47s master
master
April 14, 2024 00:18 47s
Delete reference to gnatcoll-scripts-shell, which has been deleted Check Lint #121: Pull request #130 opened by mgrojo
April 7, 2024 21:26 40s mgrojo-delete-gnatcoll-scripts-shell
mgrojo-delete-gnatcoll-scripts-shell
April 7, 2024 21:26 40s
Check Lint Check Lint #120: Scheduled
April 7, 2024 00:16 1m 12s master
master
April 7, 2024 00:16 1m 12s
Check Lint Check Lint #119: Scheduled
March 31, 2024 00:16 34s master
master
March 31, 2024 00:16 34s
Merge pull request #129 from khalidbelk/master Check Lint #118: Commit b07e64d pushed by mgrojo
March 30, 2024 22:44 31s master
master
March 30, 2024 22:44 31s
feat: add eepers game Check Lint #117: Pull request #129 opened by khalidbelk
March 30, 2024 04:45 38s khalidbelk:master
khalidbelk:master
March 30, 2024 04:45 38s
Check Lint Check Lint #116: Scheduled
March 24, 2024 00:16 44s master
master
March 24, 2024 00:16 44s
Check Lint Check Lint #115: Scheduled
March 17, 2024 00:15 40s master
master
March 17, 2024 00:15 40s
alr_appimage renamed to alr2appimage Check Lint #114: Commit 7d769e0 pushed by mgrojo
March 14, 2024 20:36 39s master
master
March 14, 2024 20:36 39s
Add alr-appimage Check Lint #113: Commit 6a804dc pushed by mgrojo
March 10, 2024 22:35 35s master
master
March 10, 2024 22:35 35s
Check Lint Check Lint #112: Scheduled
March 10, 2024 00:15 41s master
master
March 10, 2024 00:15 41s
Check Lint Check Lint #111: Scheduled
March 3, 2024 00:15 33s master
master
March 3, 2024 00:15 33s
Use working URL for Ironclad Check Lint #110: Commit 428c54d pushed by mgrojo
March 2, 2024 15:14 35s master
master
March 2, 2024 15:14 35s
Fix punctuation error Check Lint #109: Pull request #128 synchronize by mgrojo
March 2, 2024 15:00 36s mgrojo-patch-1
mgrojo-patch-1
March 2, 2024 15:00 36s
Fix punctuation error Check Lint #108: Pull request #128 opened by mgrojo
March 2, 2024 14:57 41s mgrojo-patch-1
mgrojo-patch-1
March 2, 2024 14:57 41s
Restore ada-planet-via-matrix which is still working Check Lint #107: Commit 5405312 pushed by mgrojo
March 2, 2024 14:54 34s master
master
March 2, 2024 14:54 34s